Publicaciones sobre RetosLean4
- Reto 23: La sucesión constante aₙ = L converge a L
- Reto 22: Subsucesiones con límites distintos implican no convergencia
- 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 17: Las sucesiones convergentes están acotadas
- 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