The variance of discounted Markov decision processes | Synapse