¿Cuál es la posibilidad de que este código termine?

Escribí este código de Python y me pregunté si a veces simplemente no termina (suponiendo que tengamos memoria / tiempo infinito y ningún límite de profundidad de recursión). Intuitivamente pensarías que termina, ya que en algún momento debes tener suerte , y si no termina tienes una cantidad...