Dyadic cosine product
= Dyadic cosine product
{title2=$\sin t/t=\prod_{j\geq1}\cos(t/2^j)$}
The <characteristic function> of a <Dyadic Rademacher series> is $\sin t/t$, interpreted as one at zero. The <characteristic function of a sum of independent variables> gives the finite cosine products, and <weak convergence of probability measures> gives their displayed limit for every real $t$. This argument includes zeros of the <sinc function> without taking logarithms of the factors.