The first 128 digits of an autoconvolution inequality

Andrew Rechnitzer

Using rigorous high-precision floating point arithmetic we compute very tight rigorous bounds on the auto-convolution constant \[ ν_2^2 = \inf_f \|f \ast f\|_2^2 = \inf_f \int_{-1…