Compactness; show inf is achieved

Printable View