So let's minimize all three sides of the inequality
across all admissible policies.
If we do so, then what we end up with is
g star over x0 by definition of j star,
by being the minimum of all pi of this,
alpha to the n or m minus, sorry, alpha to the n times m
divided by 1 minus alpha minus alpha to the n
times the max over x and x of the absolute value of j of xn.
This whole thing is less than or equal to
what's the minimum here over all possible policies.