Analytical proofs of classical inequalities between Spearman's ρ and Kendall's τ