3 ms·

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.