eigenvalues counting function