Suppose I want to compute the expectation of $\|x'O\|_2$ where $O$ is a random matrix having the uniform distribution on the set of $n \times r$ $(r \leq n)$ semi-orthogonal matrices (i.e., $O'O = I_r$.); $x \in \mathbb{R}^n$ is fixed.
My intuition tells me that, ${\rm E}(\|x'O\|_2) = \sqrt{\frac{r}{n}}\|x\|_2$ (where the expectation is taken wrt the distribution for $O$) but I'm having a difficult time proving this. How would I go about this? Are there any references I am missing?