Competitive distribution estimation: why is Good-Turing good
An Automatic Inequality Prover and Instance Optimal Identity Testing