Skip to main content
-
Reto 21: Las subsucesiones tienen el mismo límite que la sucesión
-
Reto 20: Si aₙ → L y M es una cota superior de aₙ, entonces L ≤ M
-
Reto 19: Las sucesiones convergentes son sucesiones de Cauchy
-
Reto 18: Convergencia del producto de sucesiones convergentes
-
Reto 16: Para todo n ∈ N, n(n+1)(2n+1) es divisible por 6
-
Reto 15: Existe un k ∈ ℕ tal que, para todo n ∈ ℕ, (n + k)² ≤ 2ⁿ⁺ᵏ
-
Reto 14: Para todo n ∈ ℕ, 2n + 9 ≤ 2ⁿ⁺⁴
-
Reto 13: Desigualdad triangular inversa: ||x| - |y|| ≤ |x - y|
-
Reto 12: Si aₙ → L, bₙ → M y L < M, entonces eventualmente aₙ < bₙ
-
Reto 11: Si aₙ converge a L, entonces |aₙ| converge a |L|
-
Reto 10: Si aₙ → L con L ≠ 0, entonces |aₙ| ≥ |L|/2 eventualmente
-
Reto 9: Unicidad del límite
-
Reto 8: Sucesiones con infinitos términos grandes no convergen a límites pequeños
-
Reto 7: La composición de funciones inyectivas es inyectiva
-
Reto 6: Si aₙ y cₙ convergen a L y aₙ ≤ bₙ ≤ cₙ para todo n, entonces bₙ converge a L
-
Reto 5: 5²ⁿ - 2³ⁿ es divisible por 17
-
Reto 4: Existen infinitos números primos
-
Reto 3: Si aₙ converge a L, entonces 2aₙ converge a 2L
-
Reto 2: La sucesión 1, -1, 1, -1,... no es convergente
-
Reto 1: La sucesión 1/n converge a 0
-
Retos de demostración en Lean 4