Partial sum of coefficients of formal power series

$\sum _{i=0}^k[x^i]F=[x^k]\frac{1}{1-x}F$

• Partial sum of coefficients of [formal power series

---

This page is auto-translated from /nishio/形式的べき級数の係数の部分和 using DeepL. If you looks something interesting but the auto-translated English is not good enough to understand it, feel free to let me know at @nishio_en. I’m very happy to spread my thought to non-Japanese readers.