Analytical proofs of classical inequalities between Spearman’s rho and Kendall’s tau - Genest, Christian; Neslehova, Johanna (Journal of Statistical Planning and Inference, 2009)