b (source code)

= b
{scope}

The necessary parameter range is $0<\lambda\le1$: the transition probability from zero to one is $\lambda$, and this restriction also bounds all later upward transition probabilities by one.