Noncompactness by separated translates (source code)

= Noncompactness by separated translates
{wiki}

Translations of a compactly supported bump can form an infinite family separated by a fixed sup-norm distance, disproving compactness.