HomeTroughFormal ConjecturesBy subjectNumber theoryTao's Optimization Constant 7a… to Lam--Litt conjectureContentsStatementsMapContentsLoading the map…Reading Tao's Optimization Constant 7a… to Lam--Litt conjecture Tao's Optimization Constant 7a / The Irrationality Measure of \(\pi\) Tao's Optimization Constant 7b / The Irrationality Measure of \(\Gamma(1/4)\) Lam--Litt conjecture Loading dependency explorer… The dependency explorer needs JavaScript and its graph data. Download the complete graph data.