m -> n

Thanks to Yijin Wang
https://stacks.math.columbia.edu/tag/07EA#comment-6453

more-algebra.tex

@@ -8807,7 +8807,7 @@ \section{Formally smooth maps of topological rings}
 Assume (2)(a). Suppose given a solid commutative diagram as in
 Definition \ref{definition-formally-smooth} where we use the discrete
 topology on $R$. Since $\varphi$ is continuous we see that
-$\varphi(\mathfrak m^n) \subset \mathfrak n$ for some $m \geq 1$.
+$\varphi(\mathfrak m^n) \subset \mathfrak n$ for some $n \geq 1$.
 As $S \to A/J$ is continuous we see that $\mathfrak n^k$ maps to
 zero in $A/J$ for some $k \geq 1$. Hence $\mathfrak m^{nk}$ maps
 into $J$ under the map $R \to A$. Thus $\mathfrak m^{2nk}$ maps to zero