P can always choose $p_n$ to be at distance $2^{-n}$ from $p_{n-1}$.
P can always choose $p_n$ to be at distance $2^{-n}$ from $p_{n-1}$.