Given two integers a and b such that:
I. a>b>1
ii. a+b divides ab+1
iii. a-b divides ab-1

Prove that a is less than b*sqrt(3).