TeX source:
O(\log n)