4 ms·

Knuth judged that it wasn't an erratum, since the bound he included was correct and he never claimed it was optimal. :-/

• Randor 2y ago
  Thanks, not often we see Knuth erratas. :)
  • cperciva 2y ago
    <pedant>You never see "erratas", since "errata" is already the plural (of "erratum").</pedant>
    • tverbeure 2y ago
      The ensemble of errata of multiple books are erratas… probably.
• nextaccountic 2y ago
  Did he decide to include your better bound in future editions?
  • cperciva 2y ago
    Yes. I believe proving the strict bound is one of the exercises now.