Derivative of Cosine Integral Function

Theorem

 * $\dfrac \d {\d x} \paren {\map \Ci x} = -\dfrac {\cos x} x$

where:
 * $\Ci$ denotes the cosine integral function
 * $x$ is a strictly positive real number.

Also see

 * Derivative of Sine Integral Function