Hello everyone,

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,

Kevin