Floor Function/Examples/Floor of Binary Logarithm of 35

Theorem

 * $\floor {\lg 35} = 5$

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


 * $\floor x$ denotes the floor of $x$.

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