(xy + 1) - (x + y)
= (x - 1)(y - 1) > 0
(仮定を満たすどんな x, y の値をとっても， この式の値は正の数をとる ということ)
よって，xy + 1 > x + y
(終)