a^2>b^2+2ab