Dyadic cosine product
ID: dyadic-cosine-product
The characteristic function of a Dyadic Rademacher series is , 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 . This argument includes zeros of the sinc function without taking logarithms of the factors.
New to topics? Read the docs here!