Research notes on every problem, and a library of the papers behind them. Built from the open erdos repository.
Updated
Statement
A sequence of positive reals is admissible (p. 627) when and for all ; it is strictly admissible when moreover for all . The note credits the definition to one of the authors (A. S. Belov, 1994).
Theorem 1 (pp. 627--628). The following hold.
- For every the sequence is strictly admissible. Moreover, for every ,
- For the sequence
is strictly admissible, where runs over the odd primes and is the integer part. 3. A sequence of positive reals with is not admissible.
Part 1 is on p. 627, parts 2 and 3 on p. 628.
Source. A. S. Belov and S. V. Konyagin, An estimate for the free term of a nonnegative trigonometric polynomial with integer coefficients (in Russian), Mat. Zametki 59 (1996), no. 4, 627--629. Theorem 1 on pp. 627--628. The edition read is identified on the source card.
Read depth. Claims checked: the statement was read clause by clause on the printed pages. The note is a short communication and prints no proofs.
Proof pointer
None in the note. Part 2 is what the note combines with Theorem 2 to get the bound displayed on p. 628.
Dependencies
None stated.
Bears on
- Problem 256: indirectly. Part 2 gives, through Theorem 2, the bound , which the note then improves to in Corollary 1; the bound on the problem's is Corollary 2.