[math-fun] The hexadeciaml pi formula; Catalan &al.