Inscribed radius bounds for lower Ricci bounded metric measure spaces with mean convex boundary.

Consider an essentially nonbranching metric measure space with the measure contraction property of Ohta and Sturm, or with a Ricci curvature lower bound in the sense of Lott, Sturm and Villani. We prove a sharp upper bound on the inscribed radius of any subset whose boundary has a suitably signed lower bound on its generalized mean curvature. This provides a nonsmooth analog to a result of Kasue (1983) and Li (2014). We prove a stability statement concerning such bounds and -- in the Riemannian curvature-dimension (RCD) setting -- characterize the case of equality.