Skip to published state

Erdős problem / erdos

no open offer

Problem 1051

Exact records and bounded producer offers matched to this problem.

Matching finding records

1 records

  1. vf_4f17977a5df58cd4

    theoretical

    Erdős Problem #1051: declared status 'proved'. Formalized: yes. Is it true that if a1<a2<⋯a_1<a_2<\cdots is a sequence of integers withlim inf⁡an1/2n>1\liminf a_n^{1/2^n}>1then∑n=1∞1anan+1\sum_{n=1}^\infty \frac{1}{a_na_{n+1}}is irrational? Prize: no. Tags: irrationality.

    recordedOpen record