solve (1/2)(sqrt[16n^2 - 16n + 1] - 1) > 2n - 2 for n