Hacker News Reader

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

Did he decide to include your better bound in future editions?

Yes. I believe proving the strict bound is one of the exercises now.

Thanks, not often we see Knuth erratas. :)

<pedant>You never see "erratas", since "errata" is already the plural (of "erratum").</pedant>

The ensemble of errata of multiple books are erratas… probably.