Если

и

, то, как известно, существуют такие константы

, что

Это -- абстрактный факт, а потом можно пытаться уже найти и конкретные константы. Очевидно, что

подходит, и очевидно, что эта константа точна (равенство достигается на векторе, одна компонента которого равна единичке, а все остальные -- нули). С оценкой сверху чуть сложнее, но только чуть. Неравенство Коши-Буняковского сразу же даёт, что

годится; и это тоже оказывается точным, поскольку на векторе, составленном только из единичек, достигается равенство.