I want to prove that for postive integers . I want to do this using the WOP. Here's what I have done so far:
Suppose for some postive integer such that . By the WOP, there exists a smallest such that . Now I think I may have to apply the WOP again, but am not sure. Any advice?
Thanks a lot,