statement 2 is proven on page 2 of these lecture notes
note a typo at the top of that page, corrected at the bottom: the square root should cover both the $\log n$ in the numerator and the $n$ in the denominator
Carlo Beenakker
- 188.1k
- 18
- 448
- 651