Sylvesterin epäyhtälö on matriisien tulon suhde alkuperäisten matriisien arvoihin :
,missä on matriisin sarakkeiden lukumäärä ja matriisin rivien lukumäärä . Nimetty 1800-luvun englantilaisen matemaatikon James Sylvesterin mukaan .
Tulos seuraa suoraan Frobenius-epäyhtälöstä ( on identiteettimatriisi ): [1] .