Bounds for Markov decision processes