The paired zero factors converge locally uniformly because converges. Hadamard factorization for the order-one entire sine function gives a possible exponential multiplier; oddness removes its linear exponent and the derivative at zero fixes its constant. This product turns a Dirichlet oscillator determinant ratio into an elementary sine ratio.
