why would I pull the lever in that case?

also 1/2^(-n) is just 2ⁿ

the only downside of not pulling the lever is that the machine, if it ever finishes, may take significantly longer to do so

or am I missing something?

otherwise very cool crossover of halting problem and trolley problem, good stuff