[curiousgibbon]

I see. But now you're in a weird state where you're saying (something a bit like) "at most n^2" to mean "not at most n". Which isn't particularly precise.