MathDB
five cosines are nonpositive

Source:

November 15, 2009
trigonometry

Problem Statement

Let x x be a real number such that the five numbers cos(2πx) \cos(2 \pi x), cos(4πx) \cos(4 \pi x), cos(8πx) \cos(8 \pi x), cos(16πx) \cos(16 \pi x), and cos(32πx) \cos(32 \pi x) are all nonpositive. What is the smallest possible positive value of x x?