Оценка нормы $\|f(A_1, A_2)-f(B_1, B_2)\|$ для пар самосопряженных операторов

В заметке анонсируется оценка разности, упомянутой в названии $\|f(A_1, A_2)-f(B_1, B_2)\|\leqslant C(\log K+4)^3(\|A_1-B_1\|+\|A_2-B_2\|)$, где $K=\max\{\frac{l_1}{\|A_1-B_1\|}, \frac{l_2}{\|A_2-B_2\|}\}$, $l_1$, $l_2$ – длины интервалов, содержащих спектры операторов $A_1, B_1$ и $A_2, B_2$; функция $f$ из класса $\operatorname{Lip}1$ (с константой $1$). Приводится план доказательства этой оценки.