`log_2 8 = 3`

This just follows from the definition of a logarithm.