>8
 √{z/(x+y)} = z/√{z(x+y)} > 2z/{(x+y)+z},   (← 相乗・調和平均)
循環的にたす.