Files of Sharp lower constants in the Khintchine inequality

back to table · edit · history · where entries came from · files

As of the current version, 2026-10-29 09:12, “attached build-handoff.md”. See the history to look at the files of an earlier one.

namesizelast changed
argument-selection.md 4268 bytes 2026-10-29
audit.json 119 bytes 2026-10-29 — in this version
build-handoff.md 5826 bytes 2026-10-29 — in this version
checks.py 7431 bytes 2026-10-29 — in this version
2 versions of this file
2026-10-29 09:12 zeta3 7431 bytes view · what changed
2026-10-29 09:10 zeta3 7236 bytes view · what changed — first recorded
generate.py 4352 bytes 2026-10-29 — in this version
2 versions of this file
2026-10-29 09:12 zeta3 4352 bytes view · what changed
2026-10-29 09:10 zeta3 4276 bytes view · what changed — first recorded
numerical-evidence.json 23871 bytes 2026-10-29
skill-manifest.json 526 bytes 2026-10-29
sources.md 2950 bytes 2026-10-29
stored-numerical-evidence.json 23870 bytes 2026-10-29 — in this version

Download the table and its files together — as of this version, so the code in it is the code that produced the numbers in it.

These are recorded, not executed. Several of them take hours or days to run, and nothing on this site runs them.