TeX source:

P(X < 400)