https://9pdf.net/document/zlge46n6-access-densityfunctionaltheory-lowersemicontinuityoftheuniversalfunctionalinparamagneticcurrent.html