Existence of an eigenvalue