Talk:Stechkin's lemma