TeX Quellcode:

\begin{array}{rclclll} f\left(9\right) &=&-\log_{2} \left( \dfrac{1}{16}\cdot 9^2-\dfrac{1}{2}\cdot 9 \right) &=& -\log_{2} \left(\left(\dfrac{3}{4}\right)^2\right) &=&-2\log_{2} \left( \dfrac{3}{4}\right) \quad \rightarrow \quad P_1\left( 9 \mid -2\log_{2} \left( \dfrac{3}{4}\right) \right)\end{array}