that's why file d is actually a bounded growing function. It really should constitute the "jumping portion" of F, and whether it is subtracted out from file, the remainder ought to be beneficial, include no more jumps, https://lucydviv006505.suomiblog.com/the-smart-trick-of-grung-5e-that-no-one-is-discussing-46742519