I came across the following inequality:
$$\frac{1+\rho}{2} \geq\left(\frac{1+\tau}{2}\right)^{2} \tag{1}$$
where $\rho$ denotes Spearman's correlation coefficient and $\tau$ denotes Kendall's rank correlation coefficient. How does one derive this inequality?
For example, in this article they cite the following inequality:
$$ -1 \leqslant \frac{3(n+2)}{(n-2)} \tau-\frac{2(n+1)}{(n-2)} \rho \leqslant+1 $$
and, considering the right hand side inequality, I could reduce the expression to $$(n+2)\tau \leq n \rho.$$
However, how does one derive the inequality in (1)? Starting from the basic definitions of $\rho$ and $\tau$ would be highly appreciated so as to understand the complete process.
Any help is appreciated!