- #1

- 3

- 0

## Homework Statement

Given a bivariate normal distribution with E(x1)=4 and E(x2) = 6 and Var(X) = [3 2.5]

[2.5 7]

Find P(2*x1>x2)

## Homework Equations

The cdf of this bivariate normal distribution is given by:

f(x1,x2)=1/(2*pi*var(x1)*var(x2)*sqrt(1-rho^2)) * e^(-0.5*(z/(2*1-rho^2)))

where var(x1) = 3, var(x2) = 7, E(x1)=4 and E(x2) = 6, and rho = 2.5/(sqrt(3)*sqrt(7))

and z = ((x1-E(x1))^2)/var(x1) + ((x2-E(x2))^2)/var(x2) - (2*rho*(x1-E(x1))*(x2-E(x2)))/sqrt(var(x1)*var(x2))

## The Attempt at a Solution

The approximate cdf of this bivariate normal distribution is given (in terms of x and y) by:

.041440417*%e^(-0.71186*((((x-4)^2)/3)+(((y-6)^2)/7)-(1.09109*(x-4)*(y-6))/4.582576))

Taking the integral from (-infinity to 2*x) dy and then from (-infinity to + infinity) dx should do the trick, but I have been unable to do so even using approximations.