Mathematics for Applied Sciences (Osnabrück 2023-2024)/Convergent power series/R/Primitive function/Fact/Factreferencenumber

Lemma 19.11