₊=₁^ p^-1/pᵏのp-adic超越について | Synapse