Each of x and y is a positive integer such that x²+y divides (x-1)x(x+1).

Is the relationship y ≥ x true for every possible pair of x and y?

If so, prove it.
If not, provide a counterexample.