XY-(X+Y) = (X-1)(Y-1)-1 > 1*1-1 = 0
よって
 (X+Y)^(1/2) < (XY)^(1/2) ≦ (X+Y)/2

底 a=1 を考える必要はそもそもないっしょ