In the cases a=→0,b=→0, and a∥b the inequality is trivial. Otherwise, let us consider a triangle ABC such that →CB=a and →CA=b. From this point on we shall refer to α,β,γ as angles of ABC. Since |a×b|=|a||b|sinγ, our inequality reduces to |a||b|sin3γ≤3√3|c|2/8, which is further reduced to
sinαsinβsinγ≤3√38
using the sine law. The last inequality follows immediately from Jensen's inequality applied to the function f(x)=lnsinx, which is concave for 0<x<π because f′(x)=cotx is strictly decreasing.
[Jensen's inequality: If f:I→R is a convex function, then the inequality
f(a1x1+....+anxn)≤anxn)≤a1f(x1)+....+anf(xn)
holds for all ai≥0,a1+....+an=1, and xiϵI. for a concave function the opposite inequality holds.]