Reales reales.ipynb
Reales reales.html
Estan hechos con manim
Bisección para √2
ln 2 como integral de Riemann