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