Vela
✦ 5 frontiers

erdős #372

← #371 · #373 → (packet.json; erdosproblems.com)

Let denote the largest prime factor of . There are infinitely many such that .

Worked, still open.

number theory · solved · 0 attempts

use this record

vela registry pull vfr_37aec80d874a0239
vela reproduce examples/erdos-problems

oeis

A071870 — Numbers k such that gpf(k) > gpf(k+1) > gpf(k+2) where gpf(k) denotes the largest prime factor of k.13,14,34,37,38,43,61,62,73,79,86,94,103,118,122,123,142,151,152,157,158,163,173,185,193,194,202,206,214,218,223,229,241,

Create a formalisation here · link

status

solved

notary

vela reproduce examples/erdos-problems
  • packet.json · sha256 27c8dd41e9b303ba56f651f5f53565e739bcd6657829dfbe316ee7386d53f7fd

finding.noted · reviewer:will-blair · 2 days

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.