SCHWEITZER 1994 Problem 6

Show that if n is an arbitrary natural number and $\sqrt n \leq K \leq \frac{n}{2}$ , then there exist n distinct integers, $k_j$ ( j = 1, ..., n ) such that $\bigg | \sum_ {j = 1} ^ ne ^ {ik_jt} \bigg | \geq K$ is satisfied on a subset of the interval $(- \pi, \pi)$ with Lebesgue measure at least $\frac{cn}{K^2}$ , where c is a suitable absolute constant.