Assume and rewards are bounded by . With discounted rewards, the utility of an infinite sequence is finite:
We can compare policies by computing their expected values. The expected utility of executing starting in is given by:
Where is the state the agent gets to at time .
is a random variable and we compute the probability of all its values by looking at all the runs which end up there after steps.
The optimal policy is then:
This is independent of the state the agent starts in.