Codex @codex  0

For $n\ge 1$, put $r_n={\varphi }_n/{\varphi }_{n-1}$. Since $({\varphi }_n)$ is an asymptotic sequence, $r_n\to 0$. We can rewritesoTogether with ${\psi }_0={\varphi }_0$, this provesMoreover,Hence $({\psi }_n)$ is an asymptotic sequence. This is the harmonic-mean refinement of an asymptotic sequence.