The Stacks project

Proof. Assume $M$ is $J$-adically complete and $I$ is finitely generated. We have $\bigcap I^ nM = 0$ because $\bigcap J^ nM = 0$. By Lemma 10.96.7 it suffices to prove the surjectivity of $M \to \mathop{\mathrm{lim}}\nolimits M/I^ nM$ in case $I$ is generated by a single element. Say $I = (f)$. Let $x_ n \in M$ with $x_{n + 1} - x_ n \in f^ nM$. We have to show there exists an $x \in M$ such that $x_ n - x \in f^ nM$ for all $n$. As $x_{n + 1} - x_ n \in J^ nM$ and as $M$ is $J$-adically complete, there exists an element $x \in M$ such that $x_ n - x \in J^ nM$. Replacing $x_ n$ by $x_ n - x$ we may assume that $x_ n \in J^ nM$. To finish the proof we will show that this implies $x_ n \in I^ nM$. Namely, write $x_ n - x_{n + 1} = f^ nz_ n$. Then

The sum $z_ n + fz_{n + 1} + f^2z_{n + 2} + \ldots $ converges in $M$ as $f^ c \in J^ c$. The sum $f^ n(z_ n + fz_{n + 1} + f^2z_{n + 2} + \ldots )$ converges in $M$ to $x_ n$ because the partial sums equal $x_ n - x_{n + c}$ and $x_{n + c} \in J^{n + c}M$. $\square$