Lieb–Oxford inequality

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 Stephen Oxford.

The inequality is of importance for density functional theory and plays a role in the proof of stability of matter.