Leibniz Series for π1. - Pak, Karol (Formalized Mathematics, 2016)