n^2+17 < 2n + 80