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.