The Ground State Energy of Heavy Atoms: the Leading Correction

For heavy atoms (large atomic number $Z$) described by no-pair operators in the Furry picture we find the ground state's leading energy correction. We compare the result with (semi-)empirical values and Schwinger's prediction showing more than qualitative agreement.