✦ 5 frontiers

read-only vieweressays

erdős #270

← #269 · #271 → (packet.json; erdosproblems.com)

Let $f (n) \to \infty$ as $n \to \infty$ . Is it true that $n \geq 1 \sum \frac{1}{( n + 1 ) \dots ( n + f ( n ))}$ is irrational?

Worked, still open.

irrationality · solved · 0 attempts

use this record

vela registry pull vfr_37aec80d874a0239

vela reproduce examples/erdos-problems

oeis

A073016 — Decimal expansion of Sum_{n>=1} 1/binomial(2n,n).7,3,6,3,9,9,8,5,8,7,1,8,7,1,5,0,7,7,9,0,9,7,9,5,1,6,8,3,6,4,9,2,3,4,9,6,0,6,3,1,2,5,8,3,2,9,0,9,4,9,7,9,0,5,6,8,2,1,9,6,

links

Create a formalisation here · link

status

solved

finding.noted · reviewer:will-blair · 1 day

renders the record as of vev_d199cb2e · 1,338 events · hub