Ceiling Function/Examples/Ceiling of Root 2

From ProofWiki
Jump to navigation Jump to search

Theorem

$\ceiling {\sqrt 2} = 2$

where $\ceiling x$ denotes the ceiling of $x$.


Proof

The decimal expansion of $\sqrt 2$ is:

$\sqrt 2 \approx 1.41421 \ 35623 \ 73095 \ 0488 \ldots$

Thus:

$1 < \sqrt 2 \le 2$

Hence $2$ is the ceiling of $\sqrt 2$ by definition.

$\blacksquare$


Sources