An upper bound for the largest Lyapunov exponent of a Markovian product of nonnegative matrices

We derive an upper bound for the largest Lyapunov exponent of a Markovian product of nonnegative matrices using Markovian type counting arguments. The bound is expressed as the maximum of a nonlinear concave function over a finite-dimensional convex polytope of probability distributions.