Given the Hilbert space compression of two separate groups, we find bounds on
the Hilbert space compression of their free product. We also investigate the
relations between the Hilbert space compression of a group H and an
HNN-extension of such a group relative to a finite normal subgroup.