In quantum chemistry and physics, the Lieb–Oxford inequality provides a lower bound for the indirect part of the Coulomb energy of a quantum mechanical system. It is named after Elliott H. Lieb and . The inequality is of importance for density functional theory and plays a role in the proof of stability of matter.