Riemannian Penrose inequality via Nonlinear Potential Theory | Synapse