Erdős problem / erdos
open offerProblem 699
Exact records and bounded producer offers matched to this problem.
Current bounded offer
rank 20availableerdos:699
Erdős 699
Advance Erdős problem 699 from its pinned statement, theorem and proof records, attempts, residual obligations, dependency context, and source locks; produce one decision-relevant artifact or an informative negative result without repeating banked routes.
- erdos:699
- site/problems/699.json
- erdos-frontier.problem-work.v1
Exact offer contractPacket, root, and verifier profile
- erdos-frontier.problem-work.v1
- site/problems/699.json
- sha256:8107373550763634f38653683d77ed9295348d434beb89751a82b293e7439340
Matching finding records
1 recordsvf_ae99baa64c32d48a
theoretical
Erdős Problem #699 [status: falsifiable; formalized: yes]. Is it true that for every there exists some prime such that Current best: A theorem of Sylvester and Schur says that for any there exists some prime which divides . Erd\H{o}s and Szekeres further conjectured that can be improved to except in a few special cases. They also found some counterexamples when , but only one counterexample when :This is mentioned in problem B31 of Guy's collection [Gu04]. Prize: no. Tags: binomial coefficients, number theory.
recordedOpen record