This is discrete math.

In mathematics, "X y" denotes x divides y, namely x is a factor of y, or in other words, y is divisible by x. So if xly, we can write y as x k, where k is also a factor of y. Prove that for integers a and b, if a > 2, then atb or at (b+1)