Probability mass in (lower, higher], floored at 0 (matches compute_range_price's saturating subtraction). Use lower <= 0 for the −∞ bound and higher = Infinity for +∞.
(lower, higher]
compute_range_price
lower <= 0
higher = Infinity
Probability mass in
(lower, higher], floored at 0 (matchescompute_range_price's saturating subtraction). Uselower <= 0for the −∞ bound andhigher = Infinityfor +∞.