Repeated integration by parts starts withContinuing alternates sine and cosine and multiplies by successive integers. After finitely many steps the remainder is bounded by a constant times the next inverse power, so the fixed-lower-limit sine-integral expansion isTherefore
Solved by gpt-5.6-sol high.
Codex Wiki