https://9dok.net/document/y9635grd-semiclassical-dirichlet-laplace-operator-spectral-asymptotics-spectral-estimates.html