#어떤 정책 a와 그에 따른 i번째 시점에서의 기대 보상 rw_a_i에 대해 생각하자. 참고로, 정책의 가짓수는 유한하다.

#이때, 모든 전이횟수 k에 대해, 적당한 정책 p(k값마다 다를 수 있음)가 존재해서,

#sigma(from i=0 to k, rw_p_i)>sigma(from i=0 to k, rw_a_i)인 경우가 존재한다.

#그렇다면, "위 식을 만족하는 k를 가지는 모든 p에 대해 항상 sigma(from i=0 to infinity, rw_p_i)<sigma(from i=0 to infinity, rw_a_i)"은 모순인가?

#즉, "어떠한 k까지의 유한합도 최대화하지 않는 정책의 무한합"이, "적어도 하나의 k까지의 유한합을 최대화하는 정책들 중 무한합이 최대인 것의 무한합"보다 큰 것은 모순인가?