>>620
0≦ab+bc+ca≦(a+b+c)^2/3だった