MathDB
Putnam 1949 A6

Source: Putnam 1949

March 20, 2022
Putnamtrigonometry

Problem Statement

Prove that for every real or complex xx k=11+2cos2x3k3=sinxx.\prod_{k=1}^{\infty} \frac{1+2\cos \frac{2x}{3^{k}}}{3} =\frac{\sin x}{x}.