Closed teorth closed 6 years ago
@teorth In the ddt bound estimate, it seems the (Pi/4)log(n) factor can be lowered to (Pi/8)log(n) since it's coming from (alpha/2)*log(n), lowering the bound a bit. Also, there is a 2log(n)/(x-6) factor present in the B sum but not in the A sum, though not sure about this.
Merging it into the main branch.