Vela
✦ 5 frontiers

erdős #1050

← #1049 · #1051 → (packet.json; erdosproblems.com)

Isirrational?

Worked, still open.

irrationality · solved · 0 attempts

use this record

vela registry pull vfr_37aec80d874a0239
vela reproduce examples/erdos-problems

oeis

A331372 — Decimal expansion of Sum_{k>=1} 1/(2^k - 3).3,4,3,6,7,3,4,3,3,1,8,1,7,6,9,0,1,8,5,4,4,4,8,2,8,3,3,3,8,1,2,4,1,2,0,6,1,8,8,8,0,7,1,7,6,4,8,6,7,8,3,8,4,8,6,5,1,1,0,5,

Create a formalisation here · link

status

solved

notary

vela reproduce examples/erdos-problems
  • packet.json · sha256 4650f067a76b45e81b7a98bb807cbe6e5ebcd69e19beeda0af70edb9f296dca3

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

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

Search Vela

Jump to a section, signal, campaign, document, primitive, work path, frontier, record index, atlas, constellation, agent, capability, or full-state search.