Slepian's lemma (source code)

= Slepian's lemma
{wiki=Slepian's_lemma}