Category:Cosine Integral Function

From ProofWiki
Jump to navigation Jump to search

This category contains results about Cosine Integral Function.

The cosine integral function is the real function $\Ci: \R_{>0} \to \R$ defined as:

$\map \Ci x = \ds \int_{t \mathop = x}^{t \mathop \to +\infty} \frac {\cos t} t \rd t$