Can someone show me why for a distribution function $F$ on $(0,\infty)$, $0 < y \leq x$, the following holds:
$\frac{F(x)-F^{*2}(x)}{\overline{F}(x)}=\int\limits_{0}^{x}\frac{\overline{F}(x-t)}{\overline{F}(x)}dF(t)$
Edit: $F^{*2}$ stands for the convolution of $F$ with itself:
$F^{*2}= F \star F = \int\limits_0^x F(x-y)dF(y)$
$\overline{F}=1-F$