“…Firstly, because k -monotone C ∞ functions are dense in (cf. [8]), we can and will assume that all the densities in are continuously k -times differentiable. Secondly, if for I = [ a, b ] ⊂ [0, 1] we define
then for every ,
for all 0 ≤ j ≤ k , and for all u ∈ [0, 1].…”