Category:Definitions/Ceiling Function

From ProofWiki
Jump to navigation Jump to search

This category contains definitions related to Ceiling Function.
Related results can be found in Category:Ceiling Function.


The ceiling function of $x$ is defined as the infimum of the set of integers no smaller than $x$:

$\ceiling x := \inf \set {m \in \Z: m \ge x}$

where $\le$ is the usual ordering on the real numbers.