Throughout this problem, $I = ]-1, +\infty[$, and $f(x) = \int_0^{\pi/2} (\sin(t))^x \mathrm{~d}t$. Prove that $f$ is expandable as a power series on $]-1, 1[$.
Throughout this problem, $I = ]-1, +\infty[$, and $f(x) = \int_0^{\pi/2} (\sin(t))^x \mathrm{~d}t$.
Prove that $f$ is expandable as a power series on $]-1, 1[$.