15. Proof one: Let S=a+b−c,f(x)=1−x1,x∈(0, F). The original inequality is equivalent to
Saf(a)+Sbf(b)+Scf(c)⩾2S33+3
By Jensen's inequality, we have
Saf(a)+Sbf(b)+Scf(c)⩾f(Sa2+b2+c2)=f(S1)
By Cauchy-Schwarz inequality, we get 3(a2+b2+c2)⩾(a+b+c)2, hence S⩽3, so
f(S1)⩾f(33)=233+3