This is an old revision of the document!
ℤ valued function, Monotonically decreasing function
Ceiling function