>>150
(x^2+1)(y^2+1)-(x+y)^2 = (xy)^2-2(xy)+1 = (xy-1)^2 ≧ 0
より
(x^2+1)(y^2+1)≧(x+y)^2
等号成立はxy=1のとき。