Tokens gained per speculative step

A draft model proposes k = 4 tokens per step, and each is accepted independently with probability α = 0.8 (stopping at the first rejection). Expected tokens per target pass is (1 − α^(k+1)) / (1 − α). What is it?