TeX source:

P(466 < X < 625)