The vacuum energy of QED with four-fermion interaction