00:01
All right, so here we want to prove that n, log n, is going to be big o, log n factorial.
00:22
Okay, so we will just start by setting k equal to 2 and letting our n be greater than k.
00:36
And we're going to use definition of the factorial, right, which is, of course, n times n minus 1, times n minus two times everything all the way down to one, right? so the absolute value then of log n factorial is equal to the logs.
01:00
It's positive regardless of n times n minus one, so on all the way down to.
01:16
Okay, but we know that we have this little rule, right, that the log of a product, is equal to the sum of the logs.
01:30
So we're going to use that, that little rule, to turn this into the log of n, plus the log of n minus 1, plus all the way down to log 1.
01:58
But this must be greater than or equal to log n plus log n minus 1 plus all the way just down to log of n over 2, right? so this is like half of the list roughly...