Redirecting to Bishop–Gromov inequality