zeta(31) - pi^31/(integerpart((2^31-1)(pi^31)/2^31)-1