{"generated":"2026-08-03","what":"certified bracket for c as a function of how many densities are pinned exactly","paper":{"lo":0.82,"hi":0.85,"source":"van Doorn, arXiv:2411.03073 Lemma 32"},"conditional":0.8307329558487356,"conditionalEnclosure34":{"lo":"0.8307329558487356638503727480334797","hi":"0.8307329558487356638503727480334798"},"points":[{"K":0,"d":0,"lo":0.821285808654,"hi":0.845396078373,"width":0.024110269717935024},{"K":4,"d":8,"lo":0.826711155877,"hi":0.836932536707,"width":0.010221380829046134},{"K":5,"d":10,"lo":0.826711155877,"hi":0.836932536707,"width":0.010221380829046134},{"K":6,"d":12,"lo":0.826711155877,"hi":0.836932536707,"width":0.010221380829046134},{"K":7,"d":14,"lo":0.826711155877,"hi":0.836932536707,"width":0.010221380829046134},{"K":8,"d":16,"lo":0.826711155877,"hi":0.836932536707,"width":0.010221380829046134},{"K":9,"d":18,"lo":0.826711155877,"hi":0.836932536707,"width":0.010221380829046134},{"K":10,"d":20,"lo":0.826711155877,"hi":0.836932536707,"width":0.010221380829046134},{"K":11,"d":22,"lo":0.826711155877,"hi":0.836932536707,"width":0.010221380829046134},{"K":12,"d":24,"lo":0.82736693811,"hi":0.835921652274,"width":0.008554714162379469},{"K":13,"d":26,"lo":0.82736693811,"hi":0.835921652274,"width":0.008554714162379469},{"K":14,"d":28,"lo":0.82736693811,"hi":0.835921652274,"width":0.008554714162379469},{"K":15,"d":30,"lo":0.82736693811,"hi":0.835921652274,"width":0.008554714162379469},{"K":16,"d":32,"lo":0.82736693811,"hi":0.835921652274,"width":0.008554714162379469},{"K":17,"d":34,"lo":0.82736693811,"hi":0.835921652274,"width":0.008554714162379469},{"K":18,"d":36,"lo":0.82736693811,"hi":0.835921652274,"width":0.008554714162379469},{"K":19,"d":38,"lo":0.82736693811,"hi":0.835921652274,"width":0.008554714162379469},{"K":20,"d":40,"lo":0.82736693811,"hi":0.835921652274,"width":0.008554714162379469},{"K":21,"d":42,"lo":0.82736693811,"hi":0.835921652274,"width":0.008554714162379469},{"K":22,"d":44,"lo":0.82736693811,"hi":0.835921652274,"width":0.008554714162379469},{"K":23,"d":46,"lo":0.82736693811,"hi":0.835921652274,"width":0.008554714162379469},{"K":24,"d":48,"lo":0.827534229497,"hi":0.835663773592,"width":0.008129544094352258},{"K":25,"d":50,"lo":0.827534229497,"hi":0.835663773592,"width":0.008129544094352258},{"K":26,"d":52,"lo":0.827534229497,"hi":0.835663773592,"width":0.008129544094352258},{"K":27,"d":54,"lo":0.827534229497,"hi":0.835663773592,"width":0.008129544094352258},{"K":28,"d":56,"lo":0.827534229497,"hi":0.835663773592,"width":0.008129544094352258},{"K":29,"d":58,"lo":0.827534229497,"hi":0.835663773592,"width":0.008129544094352258},{"K":30,"d":60,"lo":0.827534229497,"hi":0.835663773592,"width":0.008129544094352258},{"K":31,"d":62,"lo":0.827634964095,"hi":0.835508491805,"width":0.007873527709303614},{"K":32,"d":64,"lo":0.827729548071,"hi":0.835362691166,"width":0.007633143093918999},{"K":33,"d":66,"lo":0.827818528021,"hi":0.835225529099,"width":0.0074070010767322055},{"K":34,"d":68,"lo":0.827902387642,"hi":0.83509625999,"width":0.007193872346979434},{"K":35,"d":70,"lo":0.827981556523,"hi":0.834974221628,"width":0.0069926651035186705},{"K":36,"d":72,"lo":0.828056417509,"hi":0.834858823861,"width":0.006802406351616082},{"K":37,"d":74,"lo":0.828127312885,"hi":0.834749539058,"width":0.006622226171435902},{"K":38,"d":76,"lo":0.828194549615,"hi":0.834645894037,"width":0.006451344421606784},{"K":39,"d":78,"lo":0.828258403776,"hi":0.834547463226,"width":0.006289059449195229},{"K":40,"d":80,"lo":0.828319124353,"hi":0.834453862815,"width":0.006134738461540908},{"K":41,"d":82,"lo":0.828376936481,"hi":0.834364745763,"width":0.005987809281405733},{"K":42,"d":84,"lo":0.828432044231,"hi":0.834279797491,"width":0.00584775325899677},{"K":43,"d":86,"lo":0.828484633023,"hi":0.83419873218,"width":0.0057140991558158015},{"K":44,"d":88,"lo":0.828534871703,"hi":0.834121289552,"width":0.005586417848359213},{"K":45,"d":90,"lo":0.828582914357,"hi":0.834047232085,"width":0.005464317726259092},{"K":46,"d":92,"lo":0.828628901891,"hi":0.833976342573,"width":0.005347440680910798},{"K":47,"d":94,"lo":0.828672963408,"hi":0.833908422007,"width":0.005235458598044057},{"K":48,"d":96,"lo":0.828715217417,"hi":0.8338432877,"width":0.005128070281892854},{"K":49,"d":98,"lo":0.828755772905,"hi":0.833780771656,"width":0.0050249987502498945},{"K":50,"d":100,"lo":0.828794730265,"hi":0.833720719116,"width":0.0049259888492597945},{"K":51,"d":102,"lo":0.828832182135,"hi":0.833662987281,"width":0.004830805144710014},{"K":52,"d":104,"lo":0.828868214126,"hi":0.83360744418,"width":0.004739230053134922},{"K":53,"d":106,"lo":0.82890290548,"hi":0.833553967663,"width":0.004651062181507343},{"K":54,"d":108,"lo":0.828936329651,"hi":0.833502444501,"width":0.004566114848853589},{"K":55,"d":110,"lo":0.828968554822,"hi":0.83345276959,"width":0.004484214766953507},{"K":56,"d":112,"lo":0.828999644372,"hi":0.833404845233,"width":0.004405200860505972},{"K":57,"d":114,"lo":0.829029657289,"hi":0.8333585805,"width":0.004328923209857612},{"K":58,"d":116,"lo":0.829058648546,"hi":0.833313890648,"width":0.004255242101693746},{"K":59,"d":118,"lo":0.829086669436,"hi":0.833270696612,"width":0.00418402717504512},{"K":60,"d":120,"lo":0.829113767875,"hi":0.833228924528,"width":0.004115156651629142}]}