https://123dok.org/document/zkw746n8-invariance-principles-random-walks-conditioned-stay-positive.html