3 ^ (- 2 * k) > 0