TeX source:
log_2(x−1)=log_2(8)