Extract the universal average-sensitivity coefficient 3.762 from the binomial moment bound

Initializing...

Extract the universal average-sensitivity coefficient 3.762 from the binomial moment bound · Prove2Me