Ceiling of Root of Ceiling equals Ceiling of Root

Theorem
Let $x \in \R_{\ge 0}$ be a positive real number.

Let $\ceiling x$ denote the ceiling of $x$.

Then:
 * $\ds \ceiling {\sqrt {\ceiling x} } = \ceiling {\sqrt x}$

Also see

 * Floor of Root of Floor equals Floor of Root