The Trudinger inequality is true for $M^{1,s}$ spaces

We prove the Trudinger inequality with exponent $\frac{s}{s-1}$ for $M^{1,s}$ Sobolev spaces on metric measure spaces under the sole measure growth assumption $μ(B(x,r))\ge br^s$. This improves the previously known exponential integrability with power one. Our argument also yields sharp asymptotic b