MathDB
limit of product of cos\frac{x}{2^k} from k=1 to n

Source: Spanish Mathematical Olympiad 1984 P4

August 2, 2018
trigonometryProductgeometry

Problem Statement

Evaluate limncosx2cosx22cosx23...cosx2n\lim_{n\to \infty} cos\frac{x}{2}cos\frac{x}{2^2} cos\frac{x}{2^3}...cos\frac{x}{2^n}