Arnedo bate el récord Guinness con 960 decimales del número Pi