1: \begin{abstract}

2: For a variant of the algorithm in \cite{Pitschel2019DeterministicBootstrapping} 

3: (arxiv.org/abs/1903.10816) to compute the approximate density

4: or distribution function of a linear mixture of independent random variables known by a 

5: finite sample, it is presented a proof of the functional correctness,

6: i.e. the convergence of the computed distribution function towards the true distribution

7: function (given the observations) as the algorithm resolution is 

8: increased to infinity. 

9: The algorithm (like its predecessor version) bears elements which 

10: are closely related to early known methods for numerical inversion

11: of the characteristic function of a probability distribution, however

12: here efficiently computes the \emph{complete} distribution function.

13: Possible applications are in computing 

14: the distribution of the bootstrap estimate in any linear bootstrap method (e.g. 

15: in the block bootstrap for the mean as parameter of interest, or residual bootstrap in linear regression with fixed design),

16: or in elementary analysis-of-variance hypothesis testing.

17: \end{abstract}