Tao Lemma 3.1 (3.3): |sum F(n) e(alpha n)| <= ||F^(k)||_1 / |2 sin(pi alpha)|^k, all k >= 1

Initializing...

Tao Lemma 3.1 (3.3): |sum F(n) e(alpha n)| <= ||F^(k)||_1 / |2 sin(pi alpha)|^k, all k >= 1 · Prove2Me