Posts for May 2026

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