1: \begin{abstract}

2: For conforming finite element approximations of the Laplacian eigenfunctions, a fully computable guaranteed error bound in the $L^2$ norm sense is proposed.

3: The bound is based on the {\em a priori}  error {estimate} for the Galerkin projection of {the} conforming finite element method, and has an optimal speed of convergence for the eigenfunctions with the worst regularity. The resulting error estimate bounds the distance of spaces of exact and approximate eigenfunctions and, hence, is robust even in the case of multiple and tightly clustered eigenvalues. The accuracy of the proposed bound is illustrated by numerical examples.

4: % \LIU{[The bound is in fact like a ``a priori" estimation for the eigenfunction error. But the such ``a priori" is based on a heavy computation using the hypercircle, for which the meaning of ``a priori" (to my opinion, it means the information obtained before computation) is weakened. So, I suggest to avoid using ``a priori" .]}

5: % \cred{[I agree.]}

6: \end{abstract}

7: