Palais–Smale_compactness_condition loading ...