Well, it did correct a misunderstanding I had about the completeness theorem, which I had added to my explanation after I posted this thread, but before you brought it up. I had it stated that because |sin n| > 0, it must have a positive lower bound, which is apparently incorrect, because it can...