Posts about RetosLean4

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