User blog comment:P進大好きbot/Elementary Large Number beyond PTO(Π11-CA0)/@comment-36957202-20190602200449/@comment-36957202-20190602201811

And also i think this is a typo: For a positive integer \(n\), I define a natural number \(\textrm{萃}(n)\) in the following recursive way: i think that the \(x\)'s shoulde be \(n\)'s.If i am correct.
 * 1) Denote by \(n_0\) how many times \(x\) is divisible by \(10\), and by \(a_0\) the quotient of \(x\) by \(10^{n_0}\).