Gromov's inequality Gromov's inequality for complex projective space Gromov's systolic inequality for essential manifolds Mikhail Gromov (mathematician)