Lower bound $\mathrm{coef}_n\ge e^{17.20n}$ for large $n$ · Prove2Me

P

Initializing...

Lower bound $\mathrm{coef}_n\ge e^{17.20n}$ for large $n$ · Prove2Me