Does $a(a^{-1} \bmod b) + b(b^{-1} \bmod a) < ab + 2$ hold? Hint. Let $x=a(a^{-1} \bmod b) + b(b^{-1} \bmod a) $. Then $x\equiv 1\pmod{ab}$ and $x<2ab$.