Reto 25 de Lean 4: Si la mezcla de dos sucesiones converge a L, entonces ambas convergen a L.
https://jaalonso.github.io/calculemus/posts/2026/10/26-convergencia_de_la_mezcla_de_sucesiones/
#retolean4 — Public Fediverse posts
Live and recent posts from across the Fediverse tagged #retolean4, aggregated by home.social.
-
Reto 24 de Lean 4: La sucesión 1, -1, 1, -1,... no es convergente (2ª versión).
https://jaalonso.github.io/calculemus/posts/2026/10/19-no_convergencia_-1n_v2/
-
Reto 23 de Lean 4: La sucesión constante aₙ = L converge a L.
https://jaalonso.github.io/calculemus/posts/2026/10/12-limite_de_sucesion_constante/