Gelfandin epäyhtälö

Gelfandin epäyhtälö liittyy projektiivisten polynomien korkeusfunktioon. Sitä käytetään muun muassa Rothin lauseen todistuksessa. Epäyhtälö kuuluu seuraavasti:
Olkoon  kokonaislukuja ja  polynomeja, joiden tulo toteuttaa epäyhtälön  kaikilla . Tällöin

Lähteet 
Hindry, Marc & Silverman, Joseph H.: Diophantine Geometry

Diofantoksen geometria
Epäyhtälöt
Matemaattiset teoreemat