x = log 2 n ⇔ 2 x = n x=\log_2 n \quad\Longleftrightarrow\quad 2^x=n