  We show that the $k$-point bound of de Laat, Machado, Oliveira, and
Vallentin, a hierarchy of upper bounds for the independence number of a
topological packing graph derived from the Lasserre hierarchy, converges to the
independence number.
