Let $W_n = \sum_{i = 1}^{n}X_i$ be a random walk on $\mathbb{R}$, where the increments $X_i$ are i.i.d., symmetric around the origin ($X\sim -X$), such that $-1\leq |X(\omega)| \leq 1$ $\forall\omega\in\Omega$, $\mathbb{E}(X) = 0$ and $Var(X) = \mathbb{E}(X^2) = \sigma^2$. I would like to bound from above the following probability as a function of $k$:
$$
P\Bigl(\bigcap_{n = 1}^{k}\Bigl\{|W_n| \leq\sqrt{n}\Bigr\}\Bigr)\leq h(k) \mbox{ ?}
$$
where $\lim_{k\to\infty} h(k) =0$, because I manage to prove it using zero-one Kolmogorov's law and the fact that $\frac{W_n}{\sqrt{n}}$ converges in distribution to a normal random variable.

I know that it may be a really simple question, although I just can not find the right bound.. I have tried lots of different techniques but none of them seem to work properly. I think that a useful fact is the simmetry ( since $\forall n\in\mathbb{N},W_n\sim-W_n$ ) and the fact that $W_n$ has zero mean and (in general) bounded moments.

**PS**: maybe a more simple question could be to bound from above
$$
P\Bigl(\bigcap_{n = 1}^{k}\Bigl\{W_n \leq\sqrt{n}\Bigr\}\Bigr)\leq g(k) \mbox{ ?}
$$
using a decreasing function $g(k)$ with the same properties of $h(k)$. Also note that in general:
$$
P\Bigl(\bigcap_{n = 1}^{k}\Bigl\{|W_n| \leq\sqrt{n}\Bigr\}\Bigr) \leq P\Bigl(\bigcap_{n = 1}^{k}\Bigl\{W_n\leq\sqrt{n}\Bigr\}\Bigr),
$$
so $g(k)$ also bounds $P\Bigl(\bigcap_{n = 1}^{k}\Bigl\{|W_n |\leq\sqrt{n}\Bigr\}\Bigr)$.

**Note**

The existence of such $h(k)$ has already been proven by the fact that
$$
\lim_{k\to\infty} P\Bigl(\bigcap_{n = 1}^{k}\Bigl\{|W_n| \leq\sqrt{n}\Bigr\}\Bigr) = 0
$$
although I would like an "analytic" expression for it.

**References**

Maybe the paper "Darling-Erdős theorems for normalized sums of i.i.d. variables close to a stable law"

> https://projecteuclid.org/journals/annals-of-probability/volume-26/issue-2/Darling-Erd%C5%91s-theorems-for-normalized-sums-of-iid-variables-close/10.1214/aop/1022855652.full

may help along with the question

> https://mathoverflow.net/questions/146397/concentration-inequalities-for-the-maximum-of-the-rescaled-normalized-sum-of-iid

In fact

$$
P\Bigl(\bigcap_{n = 1}^{k}\Bigl\{W_n\leq\sqrt{n}\Bigr\}\Bigr)\leq P\Bigl(\max_{1\leq n\leq k}\frac{W_n}{\sqrt{n}} \leq 1\Bigl)
$$
which could possibly be bounded from above with some decreasing function $m(k)$ using some of those results.