We also assume that formula_9 otherwise the inequality is obviously true, because neither formula_10 nor formula_11 can be negative.
В конечномерном случае можно заметить, что formula_9, где formula_10 — площадь параллелограмма, натянутого на векторы formula_7 и formula_8.