@mariondov We know the definition of pi. You can work out the value, or series expansions, from that by pure logic.