Energy lower bound of a many-fermion system