00:01
Okay, first notice x is a gamma distribution with parameter alpha and beta.
00:10
We know x is a continuous random variable.
00:13
That means the probability of x is less or equal to x is just equal to the probability of x is strictly less than x.
00:26
Okay, so to prove this identity, we just want to prove a dual version.
00:42
I mean, we want to prove 1 minus this guy is equal to 1 minus this guy.
00:48
And from the property of the probability, we know the term on the left side is just equal to the probability.
00:58
And those two terms are equal, so it will be equal to the probability of x, greater or equal to x.
01:06
For the left side, it's equal to the probability y is strictly less than alpha.
01:13
Why do we want to prove this dual version instead of the original one? because now, as our y is a poisson distribution, this will only induce the finite sum.
01:29
However, this term will induce infinite sum.
01:33
So to simplify our computation, we only want to deal with some finite sum.
01:42
Okay, now as y is a poisson distribution with parameter x beta, so we know this probability is equal to the probability y is equal to j.
02:02
Now, j goes from 0 to alpha minus 1 because alpha is an integer.
02:09
So alpha minus 1 is also an integer.
02:13
And by the definition of a poisson distribution, it is equal to x beta to the power j times e to the power minus x beta divided by the vector of j.
02:32
Now we have a summation before.
02:37
So we've actually expressed what we want for the right side of our identity.
02:46
Now let's consider the left side.
02:51
And as x is a gamma distribution, again, we know the density function.
02:56
F for x is equal to, now let's use xft.
03:08
Ft is equal to beta times alpha divided by gamma alpha times t to the power alpha minus 1 times e to the power minus beta t.
03:28
Okay, this is the density function for x.
03:31
So the probability of x greater or equal to x is equal to the integral goes from x to positive infinity ft dt, which can be written as beta alpha here, gamma alpha...