Decius comments on Probabilistic Löb theorem

[Decius]

Concur- the infinite product of 0<b(n)<1 is in [0,1). That makes sense for probabilities.