I've met tall people. That is: people taller than the average. Every now and then we encounter *really* tall people, even taller than the average of tall people i.e. taller than the average of those who are taller than the average. Meybe you've met someone who's even taller than the average of those who are taller than the average of those who are taller than the average... And so on.


So, take a quantity $X$ that we suppose normally distributed (caveat, I have no deep knowledge of probability theory), i.e. it's described by a gaussian distribution that we suppose standardized and call $f(x)$.


Now, define:


$M\_0:= \int\_{-\infty}^{\infty}f(x)dx=1$


$\mu\_0:=\int\_{-\infty}^{\infty}xf(x)dx=0$


and, inductively,


$M\_{n+1}:= \int\_{\mu\_n}^{\infty}f(x)dx$


$\mu\_{n+1}:=\frac{1}{M\_n}\int\_{\mu\_n}^{\infty}xf(x)dx$


I think this describes the situation in which your $X$ (e.g. height) has the value $\mu\_n$ precisely when you're as $X$ as the average of those who are more $X$ than the average of those who are more $X$ than...... (n times). If not, please explain why.


So my questions:


1. How does the sequence $\mu\_n$ behave asymptotically? Does it converge?
2. If yes, is there a nice expression for the limit?
3. Is there even a reasonably explicit expression ("closed form") for $\mu\_n$ as a function of $n$?



"Are you taller than the average of those who are taller than the average?"
As in Nate's answer, we are interested in iterating the function
$$G(y) := \frac{ \int\_{y}^{\infty} x e^{- x^2} dx}{\int\_{y}^{\infty} e^{- x^2} }.$$


The numerator is $e^{-y^2}/2$ (elementary). The denominator is $e^{-y^2}/2 \cdot y^{-1} \left( 1-(1/2) y^{-2} + O(y^{-4}) \right)$ (see [Wikipedia](http://en.wikipedia.org/wiki/Error_function#Asymptotic_expansion)). So $G(y) = y + (1/2) y^{-1} + O(y^{-3})$. 


Set $z\_n = \mu\_n^2$. Then 
$$z\_{n+1} = (\mu\_n+\mu\_n^{-1}/2 + O(\mu\_n^{-3}))^2 = \mu\_n^2 + 1 + O(\mu\_{n}^{-2}) = z\_n + 1 + O(z\_n^{-1}).$$
So $z\_n \approx n$ and we see that $\mu\_n \to \infty$ like $\sqrt{n}$.


I haven't checked the details, but I think you should be able to get something like $\mu\_n = n^{1/2} + O(1)$.


