But a≠b, so don't take the equal sign.

The radical sign of a+b≥ab is twice.

1/(A+B) < 1/2 times the number of roots of ab.

2ab/(a+b)2ab/2 times ab under the root sign = AB under the root sign.