YavorskiiY. M. (1994). Estimation of eigenvalues of self-adjoint operators. Ukrains’kyi Matematychnyi Zhurnal, 46(5), 642–648. Retrieved from https://umj.imath.kiev.ua/index.php/umj/article/view/5725