It has long been postulated that within density-functional theory (DFT), the total energy of a
finite electronic system is convex with respect to electron count so that 2Ev [N0]≤ Ev [N0 …