ₖ (n) 的 p-adic 估值 | Synapse