Gromov's inequality for complex projective space