; it is, in fact,

, and it is not hard to prove that

is greater than

even when

is infinite. The easiest way of proving this is to prove, first, that if a class has