Positive recurrent state (source code)

= Positive recurrent state

A recurrent state is positive recurrent when its expected return time is finite.