[math-fun] My coda to Legendre's conjecture