AT-OEMO-REG 2018 Problem 1

If $a, b$ are positive reals such that $a+b<2$. Prove that $$\frac{1}{1+a^2}+\frac{1}{1+b^2} \le \frac{2}{1+ab}$$ and determine all $a, b$ yielding equality.

Proposed by Gottfried Perz