In the ppp-adic metric, a sequence {an}\{a_n\}{an} converges to 000 if:
∣an∣→0|a_n| \to 0∣an∣→0 in the usual absolute value
vp(an)→∞v_p(a_n) \to \inftyvp(an)→∞ (the ppp-adic valuation of ana_nan goes to infinity)
an→0a_n \to 0an→0 as real numbers
ana_nan becomes rational