f(x)=1/2(x+a/x)とおいて
√a<xの範囲でf(x)>√aとf(x)<xを微分で示す

…と>>959の方が速そうだな