J.A. Alonso in Retos Matemáticos

Con este mensaje os propongo ampliar los "Retos matemáticos" con los "Retos matemáticos con Lean 4". La dinámica sería la siguiente: cada semana se publicará un problema matemático, y quienes lo deseen podrán desarrollar soluciones en Lean 4 a lo largo de la semana, compartiéndolas en este subgrupo. El proceso será idéntico al de los "Retos matemáticos" actuales. Además, junto al enunciado, se incluirán dos enlaces a Lean 4 Web: + Uno con el enunciado del reto. + Otro con las soluciones, para quienes prefieran consultarlas sin esperar. A continuación, os presento el primer reto.