Second-order nondegenerate perturbation theory
= Second-order nondegenerate perturbation theory
For a normalized nondegenerate eigenstate $|n\rangle$,
$$
E_n^{(2)}
=\sum_{m\ne n}
\frac{|\langle m|V|n\rangle|^2}
{E_n^{(0)}-E_m^{(0)}}.
$$
For a ground state, every denominator is negative, so the correction is nonpositive.