 Solution

One strong form of Hensel lemma is this: if $K$ is complete for a discrete valuation $v$, $f\in {\mathcal{O}}_K[X]$, and $a_0\in {\mathcal{O}}_K$ satisfiesthen there is a unique root $\alpha$ satisfying

Define the Newton iteration over a valued fieldTaylor expansion and the ultrametric inequality show inductively that $v(f^{\prime }(a_n))=v(f^{\prime }(a_0))$ andThus the valuations of the corrections $a_{n+1}-a_n$ tend to infinity, so $(a_n)$ is a Cauchy sequence. Completeness gives a limit $\alpha$, and continuity gives $f(\alpha )=0$. If $\beta$ is another root in the stated ball, Taylor expansion of $f(\beta )-f(\alpha )$ shows that the linear term has strictly smaller valuation than all higher terms unless $\beta =\alpha$, proving uniqueness.