I'm strugging to find a neat solution to the following problem.
Let $X_1,\dots,X_N \sim N(0,1)$ and let $X = \max_i X_i$. Show that
$\mathbb{E}[X] \geq c \sqrt{\ln N}$
for some absolute constant $c$.
Combining the lower tail bound for standard Gaussians
$\mathbb{P} (X_i > a) \geq \frac{1}{\sqrt{2 \pi} a + 2} e^{-a^2/2}$
with the total expecation theorem $\mathbb{E}[X] = \mathbb{E}[X | X \geq a] \mathbb{P}(X \geq a) + \mathbb{E}[X | X < a]\mathbb{P}(X < a)$, I managed to prove the inequaility but it requeired a lot of tedious calculations.
Is there a simple and neat way to prove that lower bound?
I have seen a related post Expectation of the maximum of gaussian random variables, where the distribution of $X$ is derived, however I was not able to bound from below the expectation integral.
Many thanks in advance.