TeX source:
P(1.13 < Z < 4.16)