 Strong form of Hensel lemma

Let $K$ be complete for a discrete valuation $v$. If $f\in {\mathcal{O}}_K[X]$ andthen Newton iteration over a valued field converges to a root $\alpha \in {\mathcal{O}}_K$ with $v(\alpha -a)>v(f^{\prime }(a))$.