first
G1(x) = Emax(X - x, 0).
The closed form below is derived for a whole-number argument. A fraction is handled by exact interpolation from the neighbouring whole numbers rather than by substituting it into that form, which previously dropped the term carrying the mass function and could return a negative value for an expectation of a non-negative quantity. See interpolatedFirstOrderLoss.