In this paper, the approach proposed by Ladevèze and Pelle in 1989 [1] for deriving computable, sharp and guaranteed lower bounds for eigenvalues is revisited. The key lies in a static ...