Compactness

Redirected to concentration.