High-frequency Trading And Probability Theory