Posts about RetosLean4 RSS feed 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