We assume that, for all $k\in\mathbb{N}$, $p_k=\frac{1}{2^{k+1}}$. We have $\varphi_n(t)\neq 1$ for $t\in[0,1[$, so we can set $a_n(t)=\frac{1}{\varphi_n(t)-1}$.
Show that, for $t\in\left[0,1\left[$, the sequence $(a_n(t))_{n\in\mathbb{N}}$ is arithmetic.