Irrationality-measure bound for $\pi$ from the even-index Zeilberger–Zudilin forms with $K$ prime intervals

Initializing...

Irrationality-measure bound for $\pi$ from the even-index Zeilberger–Zudilin forms with $K$ prime intervals · Prove2Me