TeX source:
O(lg \; n)