Hermann Weyl, in the 1910s, showed that in the case of Dirichlet boundary conditions on a smooth and bounded open subset of the plane, the eigenvalues have an asymptotic behavior which is dictated entirely by the area contained in the region. In 1960, George Pólya conjectured that the Weyl behavior gives control of each individual eigenvalue, and not only of their asymptotic distribution. Li and Yau, in 1983, proved a weakened version controlling the average of the first eigenvalues for arbitrary . To date, the non-averaged Polya conjecture remains open.