Gromov's inequality