Variance of Logistic Distribution/Lemma 4

Lemma for Variance of Logistic Distribution

 * $\ds \int_{\to 0}^{\to 1} \map {\ln^2} {\dfrac {1 - u} u} \rd u = \dfrac {\pi^2} 3$