The isometry group of the Urysohn space as a Lévy group

We prove that the isometry group Iso ( U ) of the universal Urysohn metric space U equipped with the natural Polish topology is a Lévy group in the sense of Gromov and Milman, that is, admits an approximating chain of compact (in fact, finite) subgroups, exhibiting the phenomenon of concentration of measure. This strengthens an earlier result by Vershik stating that Iso ( U ) has a dense locally finite subgroup.