Description: The successor of a limit ordinal is not compact. (Contributed by Chen-Pang He, 20-Oct-2015)