Upper bound $\mathrm{coef}_n\le e^{17.22n}$ for the positive Zeilberger–Zudilin coefficient

Initializing...

Upper bound $\mathrm{coef}_n\le e^{17.22n}$ for the positive Zeilberger–Zudilin coefficient · Prove2Me