smat_contraction_in_simplex - Doeblin minorization implies contraction in simplex stationary_distribution_exists - produces one stationary distribution via Cesaro limit.