Davies’ version of the Hardy inequality gives a lower bound for Dirichlet integral function vanishing on boundary domain in terms squared with weight containing averaged distance to boundary. This is applied easily derive two classical results spectral theory, E. Lieb’s first eigenvalue Laplacian and G. Rozenblum’s estimate counting an unbounded number disjoint balls preset size whose intersect...