if a,b > 0
prove:

AM - GM <= (b-a)^2/a