>>548
{(√2)^2+(√3)^2+(√5)^2}*{(√(2)a)^2+(√(3)b)^2+(√(5)c)^2}≧(2a+3b+5c)^2