https://123dok.org/document/qmjvgr75-sequence-valued-random-variables-fix-borel-probability-measure.html