Prove the remainder bound Rn=∑k>nk!1<n⋅n!1.
Rn<(n+1)!1(1+n+11+(n+1)21+⋯)=n⋅n!1
n=10: actual remainder ≈2.73×10−8, bound ≈2.76×10−8.
Show proof
- Rn=(n+1)!1+(n+2)!1+⋯=(n+1)!1(1+n+21+(n+2)(n+3)1+⋯).
- The bracket is less than 1+n+11+(n+1)21+⋯=nn+1 (geometric series).
- Hence Rn<(n+1)!1⋅nn+1=n⋅n!1. This estimate is exactly why the factorial series wins by a landslide.