WTF
>i.e. the left-side is big-O of the right.
Oh.
"but can you prove it?
[10 minutes of intense staring and thinking]
"yes, it is trivial"