$x = log 2 n ⟺ 2 x = n$