Georgi Guninski on Sun, 26 Sep 2021 08:55:15 +0200


[Date Prev] [Date Next] [Thread Prev] [Thread Next] [Date Index] [Thread Index]

Correctness of derivnum(X=1/2,zeta(X),41)


On mathoverflow [1] there is conjecture about the nearest integer to
[zeta^(k)(1-1/B)]=-B^(k+1)*factorial(k)

Answer of controversial theoretic result claims the explicit
numerical counterexample k=41,B=2

I couldn't compute the counterexample on mpmath with high precision
due to internal error, but pari agrees the counterexample is correct:

K=41;B=2;T=derivnum(X=1-1/B,zeta(X),K);(round(T)+B^(K+1)*factorial(K))
%16 = 3.00....

Is it plausible that the pari computation is correct with high (what?)
precision?

What other CAS say about it?

[1]: https://mathoverflow.net/questions/404779/on-the-nearest-integer-to-zetak1-1-b-b-ge-2