Before revision:  Second, we employ linear programming to compute convergent upper and lower bounds on the stationary distributions themselves.
After revision:  Second, we use these moment bounds to formulate linear programs that yield convergent upper and lower bounds on the stationary distributions themselves.