TeX source:
log_2(9−1)=log_2(8)=3