Talk:Gromov's inequality for complex projective space