What about =cardinality of powerset of ? (This is the smallest ordinal equinumerous to the powerset of .)

You know that cardinality of is greater than the cardinality of . You also should know that any two ordinals are comparable. The cardinality argument implies that is not possible, hence you get . (This is equivalent to .)