Repeated integration by parts starts with
Continuing 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 is
Therefore