Given are two independent random variables $X$ and $Y$ with different probability density functions $f_X(t)$ and $f_Y(t)$. It is furthermore given that the cumulative distribution function $F_X(x) = \int_{-\infty}^x f_X(t)\,dt$ of $X$ is always larger than or equal to $F_Y(x)=\int_{-\infty}^x f_Y(t)\,dt$ of $Y$. That is $\forall x \in \mathbb{R}: F_X(x) \geq F_Y(x).$
A third random variable $Z$ with $f_Z(t)$ is defined as $Z = \frac{X+Y}{2}$. My assumption is that $F_X(x)$ is always larger than or equal to $F_Z(x) = \int_{-\infty}^x f_Z(t)\,dt$, too. That is $\forall x \in \mathbb{R}: F_X(x) \geq F_Z(x).$
Is this a valid assumption and if yes, how to prove it? Under which conditions does it hold if it is not a universally valid assumption? The plots below depict the cumulative distribution functions as well as the probability density functions of exemplary X,Y and Z.
Edit: I was able to show it for two given uniform distributions as follows. However, I assume it should also be possible to prove it for two arbitrary distributions.
PDFs:
$f_X(t) = \begin{cases} \frac{1}{2} & \text{for } 0 \leq t \leq 2,\\ 0 & \text{otherwise} \end{cases}$, $f_Y(t) = \begin{cases} \frac{1}{2} & \text{for } 4 \leq t \leq 6,\\ 0 & \text{otherwise} \end{cases}$
CDFs:
$F_X(x) = \begin{cases} 0 & \text{for } x < 0,\\ \frac{x}{2} & \text{for } 0 \leq x \leq 2,\\ 1 & \text{for } x > 2 \end{cases}$, $F_Y(x) = \begin{cases} 0 & \text{for } x < 4,\\ \frac{x-4}{2} & \text{for } 4 \leq x \leq 6,\\ 1 & \text{for } x > 6 \end{cases}$,
$\forall x \in \mathbb{R}: F_X(x) \geq F_Y(x)$ obviously holds, because $F_X(x) = 1$ for all $x$ where $F_Y(x) > 0$.
The addition of X and Y is described by the convolution of $f_X(t)$ and $f_Y(t)$ as
$f_{X+Y}(t) = (f_X * f_Y)(t) = \int_{-\infty}^\infty f_X(\tau)\cdot f_Y(t-\tau)\,d\tau = \begin{cases} -1+\frac{t}{4} & \text{for } 4 \leq t \leq 6\\ 2 - \frac{t}{4} & \text{for } 6 < t \leq 8\\ 0 & \text{otherwise} \end{cases}$
and (as far as I know) dividing by 2 corresponds to scaling on both axes, so
$f_Z(t) = 2\cdot f_{X+Y}(2t) = \begin{cases} -2+t & \text{for } 2 \leq t \leq 3\\ 4 - t & \text{for } 3 < t \leq 4\\ 0 & \text{otherwise.} \end{cases}$
From this we get the CDF of Z:
$F_Z(x) = \int_{-\infty}^x f_Z(t)\,dt = \begin{cases} 0 & \text{for } x < 2,\\ \frac{1}{2} x^2 -2x+2 & \text{for } 2 \leq x \leq 3,\\ -\frac{1}{2} x^2 + 4x -7& \text{for } 3 < x \leq 4,\\ 1 & \text{for } x > 4 \end{cases}$
$\forall x \in \mathbb{R}: F_X(x) \geq F_Z(x)$ holds, too, because $F_X(x) = 1$ for all $x$ where $F_Z(x) > 0$.
