In the optimal version of the Jacobi algorithm, we choose for each $m$ a pair $(p_m, q_m)$ such that the absolute value of the coefficient $\sigma_{ij}^{(m)}$ is maximal precisely when $(i,j) = (p_m, q_m)$. In other words,
$$\forall i < j, \quad \left|\sigma_{ij}^{(m)}\right| \leqslant \left|\sigma_{p_m q_m}^{(m)}\right|$$
Let $m \in \mathbb{N}$. Show that
$$\left\|D - D^{(m)}\right\| \leqslant \frac{\rho^m}{1 - \rho} \left\|E^{(0)}\right\|$$