00:01
Okay, so we call that for an integral definition of natural log.
00:05
We know that the natural log of x, well, that's equal to the integral from 1 to x of 1 over t d t.
00:13
So from both sides, let's rewrite it in terms of this.
00:18
So from our left -hand side, we have ln of x over y.
00:28
That's equal to the integral.
00:30
So this x point is here.
00:31
So that's, in our case, we have x over y and 1 of 1 over t d t.
00:38
And now for our right hand side, let's write the same thing.
00:43
So we have, let's see, ln of x minus ln of y.
00:52
This is equal to the integral from 1 to x of 1 over t d t, minus the integral of from 1 to y of 1 over t d t d t...