is the subdifferential of F at ρ -that is, the collection of potentials with ground-state density ρ. Likewise, the condition for a maximizing potential in the Lieb variation principle is ρ ∈ ∂ E [v], where the subdifferential of E at v is the collection of all groundstate densities of v. In fact, the two conditions are equivalent: