BG-JBMO-TST 2018 Problem 2

For all positive reals $a$ and $b$ , show that $\frac{a^2+b^2}{2a^5b^5} + \frac{81a^2b^2}{4} + 9ab > 18.$

Dataset text AI-MO AoPS. Quoted with source.

Solutions

No solution is on olymmath yet. Official and human solutions come first when they arrive. AI solutions come after them, with a label.