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.