Gromovova nejednakost za kompleksni projektivni prostor