Zdroj TeX:
a_1 \frac{2^k-1}{2-1} =2^k-1