Solve ab + 1 - Abs(a - b) > sqrt(ab + 1)(Abs(2 - (Abs(a - b)/2))) over the natural numbers