TeX source:
O(b^{1+⌊C* ⁄ ε⌋})