**Information:**

**a-)** $X$ and $Y$ are two continuous random variables on $\mathbb{R}$ having continuous distribution functions $F$ and $G$ with $G(y)\geq F(y)$ for all $y$.

**b-)** $S^X_n=\sum_{i=1}^n X_i$, $S^Y_n=\sum_{i=1}^n Y_i$, $A>0$, and $B<0$; where $X_i$ and $Y_i$ are **i.i.d.** replicas of $X$ and $Y$ respectively.

**c-)** $E[X]<0$ and $E[Y]<0$.

**d-)** $\partial F/\partial G$, (the ratio of densities) is an increasing function on its domain.

**What I know:**

By coupling (since $G\geq F$), I know that there exist a pair of random variables $(X^{'},Y^{'})$ such that $X=X^{'}$ in distribution, $Y=Y^{'}$ in distribution, and $X^{'}\geq Y^{'}$ almost surely. Using this result, I also have $S_n^{X^{'}}=\sum_{i=1}^n X^{'}_i\geq \sum_{i=1}^n Y^{'}_i=S_n^{Y^{'}}$. Since this holds for all $n$, I am able to compare the following:

$$\tau_A^{X^{'}}=\inf\{n\geq 0:S_n^{X^{'}}\geq A\}$$ $$\tau_A^{Y^{'}}=\inf\{n\geq 0:S_n^{Y^{'}}\geq A\}$$ $$\tau_B^{X^{'}}=\inf\{n\geq 0:S_n^{X^{'}}\leq B\}$$ $$\tau_B^{Y^{'}}=\inf\{n\geq 0:S_n^{Y^{'}}\leq B\}$$

with $\tau_A^{X^{'}}\leq \tau_A^{Y^{'}}$ since $S_n^{Y^{'}}\geq A$ implies $S_n^{X^{'}}\geq A$ and similarly $\tau_B^{X^{'}}\geq \tau_B^{Y^{'}}$. Please see (for details).

Question:I wonder if$$E[\min\{\tau_A^{X^{'}},\tau_B^{X^{'}}\}]\geq E[\min\{\tau_A^{Y^{'}},\tau_B^{Y^{'}}\}]$$

holds for any $(A,B)$ and $(X,Y)$.

**Added:**(12.05.2014)

I thought about using $$\min(a,b)=\frac{1}{2}(|a+b|-|a-b|)$$ the inequality became $$(E[\tau_A^{X^{'}}]-E[\tau_B^{Y^{'}}])-(E[\tau_A^{Y^{'}}]-E[\tau_B^{X^{'}}])\geq E[|\tau_A^{X^{'}}-\tau_B^{X^{'}}|]-E[|\tau_A^{Y^{'}}-\tau_B^{Y^{'}}|]$$ But I know $E[\tau_A^{X^{'}}]=\infty$ and therefore I dont know how one could go forward and what would be the role of increasing $\partial F/\partial G$.

**Added:**(14.05.2014)

Please correct me if I am mistaken. It seems that we also have $$E[\min\{\tau_A^{X^{'}},\tau_B^{X^{'}}\}]=E[|\tau_A^{X^{'}}-\tau_B^{X^{'}}|]$$ $$E[\min\{\tau_A^{Y^{'}},\tau_B^{Y^{'}}\}]=E[|\tau_A^{Y^{'}}-\tau_B^{Y^{'}}|]$$

writing this result above we see that

$$E[\tau_B^{X^{'}}]-E[\tau_B^{Y^{'}}] \geq E[\tau_A^{Y^{'}}]-E[\tau_A^{X^{'}}]\quad\quad\quad\quad (*)$$

implies

$$E[\min\{\tau_A^{X^{'}},\tau_B^{X^{'}}\}]\geq E[\min\{\tau_A^{Y^{'}},\tau_B^{Y^{'}}\}]$$

therefore to show that $(*)$ indeed holds will be enough. Once again $E[\tau_A^{X^{'}}]=\infty$ and $E[\tau_A^{Y^{'}}]=\infty$. If such a comparison is possible then I would guess that $E[\tau_A^{Y^{'}}]-E[\tau_A^{X^{'}}]\geq 0$ because of stochastical ordering. We also know $E[\tau_B^{X^{'}}]-E[\tau_B^{Y^{'}}]\geq 0$.

My idea was using $\tau_A^{X^{'}}=\tau_{A_{\lim_{B\rightarrow\infty}}}^{X^{'}}=\inf\{n\geq 0:S_n^{X^{'}}\geq A,S_n^{X^{'}}\leq B\}$ and the same for $\tau_A^{Y^{'}}$. I hope that this formulation could give me $$E[\tau_{A_{\lim_{B\rightarrow\infty}}}^{Y^{'}}]-E[\tau_{A_{\lim_{B\rightarrow\infty}}}^{X^{'}}]=E[\tau_A^{Y^{'}}]-E[\tau_A^{X^{'}}]<\infty$$

Can?

I asked the same question in mathstackexchange in two parts. I have a counterexample if $\partial F/\partial G$ is not necessarily increasing. However, I wonder very much if the claim holds with this monotonicity condition or not. Unfortunately, I seem to be hopeless to deal with this problem.

I will really appreciate any help. Thank you very much.