>>889
a+b>2√ab自体は成立します。
a+b−2√ab=(√a−√b)^2