Boltzmannin epäyhtälö on epäyhtälö, joka liittyy mihin tahansa jakaumafunktioon , joka täyttää Boltzmannin yhtälön ja törmäysintegraalin .
Jokaiselle Boltzmannin yhtälön täyttävälle jakaumafunktiolle epäyhtälö
missä on törmäysintegraali, on liikemäärä ja on hiukkasmassa . Tässä tapauksessa yhtäläisyysmerkki saavutetaan, jos ja vain jos mikä vastaa Maxwell-jakaumaa (tässä ja ovat skalaarit, ja ovat vektorivakiot; sisäiset sulut tarkoittavat vektorien skalaarituloa ) [1] .
Todiste on kuuluisassa C. Cercignanin kirjassa [2] .