n^2-n-1000 \geq 0