1: \begin{proof}

2:   We give a formal proof for completeness; a rigorous one can be

3:   obtained by standard approximation methods, and can be found in

4:   \cite{BC90}. To simplify the notation and since $\bm{c}(t)$ is

5:   fixed, we denote $M_{j}(t)=M_{j}(\bm{c}(t))$ for any $j\geq 1,$

6:   $t \geq 0$. One can check the following weak formula for the

7:   integral of the right hand side of \eqref{eq:CF} against a test

8:   sequence $\br{\phi(i)}_{i}$:

9:   $$\sum_{i=1}^\infty

10:   \phi(i)\pa{\frac{1}{2}\sum_{j=1}^{i-1}W_{i-j,j}-\sum_{j=1}^\infty

11:     W_{i,j}} = \frac{1}{2}\sum_{i,j}^\infty

12:   \pa{\phi(i+j)-\phi(i)-\phi(j)}W_{i,j}.$$

13:   Applying this to $\phi(i) := i^k$, neglecting the negative

14:   contribution of the fragmentation terms and using the binomial

15:   formula one obtains

16:   $$\frac{\d}{\d t}M_k(t) \leq \sum_{l=1}^{k-1}

17:   {k \choose l}

18:   M_{l+\gamma}(t)M_{k-l+\eta}(t) \qquad \forall t \geq 0.$$

19:   Next, we use the interpolation

20:   $$M_{\delta}{(t)} \leq M_1^{\frac{k-\delta}{k-1}}{(t)}

21:   M_k^{\frac{\delta-1}{k-1}}{(t)}$$

22:   where $1<\delta<k$, to find that

23:   $$M_{l+\gamma}(t)M_{k-l+\eta}(t) \leq M_1(t)^{\frac{k-\lambda}{k-1}}M_{k}(t)^{\frac{k+\lambda-2}{k-1}}.$$

24:   Thus,

25:   $$\frac{\d}{\d t}M_k(t) \leq \pa{2^k-2}\varrho^{\frac{k-\lambda}{k-1}}M_{k}^{\frac{k+\lambda-2}{k-1}}(t) \qquad \forall t\geq 0$$

26:   and the result follows from this differential inequality.

27: \end{proof}

28: