is always greater than

, even when

is infinite.

[21]This proof is taken from Cantor, with some simplifications: see Jahresbericht der deutschen Mathematiker-Vereinigung, I. (1892), p. 77.

It follows from this proposition that there is no maximum to the infinite cardinal numbers. However great an infinite number

may be,