p^2=(a+b+2√ab)/2
q^2=a+b
q^2-p^2=(a+b-2√ab)/2=(√a-√b)^2/2≥0
q^2≥p^2
q≥p