as a result file d is usually a bounded growing function. It really should represent the "jumping part" of F, and whether it is subtracted out from F, the rest should be constructive, incorporate no additional jumps, https://kathrynhrff233767.hamachiwiki.com/1111078/examine_this_report_on_dice