P
Initializing...
Exact greatest-integer semantics of $f(n)$ · Prove2Me