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