Find conditional probability $\mathbb{P}(X \le x | \max(X,Y))$

Let $X,Y$ be iid such that $X\sim F>0$ and $Y \sim F>0$ ($X$ and $Y$ have the same probability distribution). Find $\mathbb{P}(X \le x | \max(X,Y))$.

I know that $\max(X,Y) \sim F^2$.

I would use $$\mathbb{P} (X \in B | Y) = \frac{\int_B g(x,Y)dx}{\int_{\mathbb{R}}g(x,Y)dx}$$

Where $Y = \max(X,Y)$ and $B=(0, x)$.

But the problem is how to find density function $g$ ?

• Got something from the answer below? – Did Oct 21 '14 at 19:25

The final formula is $$P(X\leqslant x\mid\max(X,Y))=u(x,\max(X,Y)),$$ where the function $u$ is defined for every $(x,z)$ by $$u(x,z)=\left\{\begin{array}{ccc}\frac{F(x)}{2F(z)}&\mathrm{if}&x\lt z,\\ 1&\mathrm{if}&x\geqslant z.\end{array}\right.$$ To explain why this identity holds, one needs to know the definition of conditional expectation you are acquainted with and the tools you know to compute these.
First, you could explain how you define $P(A\mid Z)$, for every event $A$ and random variable $Z$...
• In a more general case ($X$ and $Y$ arbitrary distributions, not necessarily iid), I believe $P(X\leq x \mid \max(X,Y))$ is discontinuous if $P(Y > X) > 0.$ – David K Oct 17 '14 at 12:54