YavorskiiY. M., “Estimation of eigenvalues of self-adjoint operators”, Ukr. Mat. Zhurn., vol. 46, no. 5, pp. 642–648, May 1994.