MathDB
analysis

Source: miklos schweitzer 1994 q6

October 16, 2021
real analysisMeasure theory

Problem Statement

Show that if n is an arbitrary natural number and nKn2\sqrt n \leq K \leq \frac{n}{2}, then there exist n distinct integers, kjk_j ( j = 1, ..., n ) such that j=1neikjtK\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 cnK2\frac{cn}{K^2} , where c is a suitable absolute constant.