Loss of compactness at infinity (source code)

= Loss of compactness at infinity

A bounded sequence can fail to have a strongly convergent subsequence because its mass escapes to infinity even when its local regularity is uniformly controlled.