catalan's constant approximations