So, it’s established that my little series, representing the number of rides we could expect to get if we based re-riding on a fair coin flip, is convergent. So trying to figure out the sum will get a meaningful answer. The question is, how do we calculate it?
My first impulse is to see if someone else solved the problem first, for exactly the reasons you might guess. This is a case where mathematics textbooks can have an advantage over the web, really, since an introduction to calculus book is almost certain to have page after page of Common Series Sums. Figuring out the right combination of keywords to search the web for it can be an act of elaborate guesswork. Mercifully, Wikipedia has a List of Mathematical Series which covers my problem exactly. Almost.