Floor Function/Examples/Floor of Binary Logarithm of 35

Theorem

 * $\left\lfloor{\lg 35}\right\rfloor = 5$

where:
 * $\lg x$ denotes the binary logarithm ($\log_2$) of $x$


 * $\left\lfloor{x}\right\rfloor$ denotes the floor of $x$.

Proof
Hence $5$ is the floor of $\lg 35$ by definition.