Формулировка

Пусть дано линейное пространство со скалярным произведением . Пусть — норма, порождённая скалярным произведением, то есть . Тогда для любых имеем:

причём равенство достигается тогда и только тогда, когда векторы и пропорциональны (коллинеарны).