Iterating the Gupta–Ndiaye–Norin–Wei method: a computer-verified bound R(k)≤3.7698k+o(k)R(k)\le 3.7698^{k+o(k)}

Contributed by Ella Puerto

Source files

Download source .zip

Back to the main record