https://www.javiergutierrezchamorro.com/pi-con-10-000-d-gitos/
Pi con 10.000 dígitos