Si [an,bn] és la successió d’intervals, essent an una successió no decreixent i bnuna successió no creixent tals que la diferència bn-an es mantingui sempre positiva, però tendint a zero quan n tendeix a infinit, el teorema de Cantor afirma que hi ha un únic nombre real x tal que x és contingut en qualsevol dels intervals [an,bn].
m
Matemàtiques