Gromov's inequality for complex projective space
 
x
OK