TeX source:
\begin{array}{rclll} f(17) &=& 1+\dfrac{2.000}{4^{17+1}} &\approx & 1{,}000000029 \quad \rightarrow \quad P_1(17 \mid 1{,}000000029) \end{array}