TeX source:
O(2^k)