erdos_123.variants.erdos_lewin_3_5_7

Specification

Erdős and Lewin proved this conjecture when $a = 3$, $b = 5$, and $c = 7$. Reference: [ErLe96] Erdős, P. and Lewin, Mordechai, _$d$-complete sequences of integers_. Math. Comp. (1996), 837-840.

Actions

Submit a Proof

Have a proof attempt? Submit it for zero-trust verification.

Submit Proof

Lean 4 Statement

theorem erdos_123.variants.erdos_lewin_3_5_7 :
    IsDComplete (↑(powers 3) * ↑(powers 5) * ↑(powers 7))

ID: ErdosProblems__123__erdos_123.variants.erdos_lewin_3_5_7

Browse

All Problems

Explore all 300 unsolved conjectures.

View problems →

Docs

Verification Pipeline

How zero-trust verification works.

Read docs →

Evaluation Results

Recent Submissions

No submissions yet. Be the first to attempt this problem.