 Unitary product telescoping

Insert one factor difference at a time: the $j$th term is $U_m\cdots U_{j+1}(U_j-V_j)V_{j-1}\cdots V_1$. Multiplication by the surrounding unitary operators preserves the spectral norm, so the triangle inequality gives the displayed dimension-independent bound. No commutation assumption is required.