Perhaps I should flesh out my argument, since I wasn't assuming that k and n were fixed. Your lemma states, in effect, that given any ##\epsilon > 0##, there exist integers k and n (depending on ##\epsilon##) such that ##|k\pi - n| < \epsilon##. I argue that, if this is true, then there exist...