Stationary probability distribution