Eta:
Założenie : a≥1 i b≥1 ⇒ a+b≥2 i ab≥1
Jeżeli taka nierówność zachodzi to przekształcamy ją równoważnie
a
3b+2b>ab
3+2a
ab(a
2−b
2) > 2(a−b)
ab(a−b)(a+b) >2(a−b) /: a−b>0 bo a>b z założenia
ab(a+b) >2
ab>1 i a+b>2 −− założenia
zatem taka nierówność zachodzi więc i nierówność wyjściowa też zachodzi
co kończy dowód