Suppose we have a dataset $(x_i, y_i)$ where both $x$ and $y$ are monotonically non-decreasing with $i$. So obviously the Spearman rank correlation between $x$ and $y$ is 1.
However, what is the smallest possible Pearson correlation between $x$ and $y$?
I wasn't able to find an explicit theorem about this. So I'm wondering what is the lower bound and how to prove it.