Talk:Hoeffding's lemma