Putnam 1949 A6

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

Dataset text AI-MO AoPS. Quoted with source.

Solutions

No solution is on olymmath yet. Official and human solutions come first when they arrive. AI solutions come after them, with a label.