(a+b) \ (1\a+1\b) >= 4
(a+b) \ [(b + a)\ab] >= 4
(a+b) * ab\(a+b) >= 4
ab >= 4
ab > 0, т. к. a>0; b>0, а вот ab >= 4
