Using the technique of flag algebras from extremal combinatorics, we improve topological quantities appearing in Gromov's bound on the number of simplices covering a point.