実数 a_k、b_k (1≦k≦n)) に対して、
1 + Σ[k=1 to n] (a_k + b_k)^2 ≦ (4/3)*{1 + Σ[k=1 to n] (a_k)^2}*{1 + Σ[k=1 to n] (b_k)^2}