“…Consequently, EW n,n / √ n → 8/π and Var W n,n /n → 4(ln 2 − 2/π) as n → ∞. The exact distribution of W n,n for a simple random walk, with increments ±1 was derived in [43,66], but the formula is complicated. For α < 1, the limit distribution of W ⌊αn⌋,n is more involved than that of W n,n , and deriving explicit formulas seems to be far-fetched.…”