0 <= cdf(truncated(Normal(2.5, 0.2), lower=0.0),x) not always true.

0 <= cdf(truncated(Normal(2.5, 0.2), lower=0.0),x) not always true. #9591