# Argument selection and reproduction

Differentiation gives $\operatorname{Si}^{\prime}(x)=\sin(x)/x$ CITE{NaturalArguments}; hence its positive extrema occur at $x=n\pi$, $n\geq1$. Their heights include the Gibbs-phenomenon value at $\pi$.

it holds the origin and the twenty extremal heights at $x=n\pi$, $1\leq n\leq20$; the selection is not exhaustive over the real domain

References: https://dlmf.nist.gov/6.2

Install numberdb, python-flint and mpmath. Run `python generate.py` to verify the stored selection or `python checks.py T192 --live` for independent checks. The default never writes. `--fill` sends entries; `--remove-unselected` is a separate explicit choice. It does not approve or publish a table. Historical reference grids remain available in the website revision history.