00:01
So this is a kind of, i can call it a deceptively simple problem.
00:06
Let's take the ceiling function of f of n.
00:11
What is this? well this is you round f of n up to the next integer.
00:19
So if f of n is an integer, then it stays fixed, and if it's any more than an integer, say like if it's 6 .00082, this will make it 7.
00:35
Because it's more than 6 but less than 7, so it goes up to 7.
00:39
In particular that means we're going to add no more than 1 to it.
00:45
6 .0000...
00:46
Dot dot dot, just a ton of 0s, 0s, 0s, 1.
00:51
Is like adding something that's very very close to 1.
00:54
This ends up being x plus 0 .999999, a ton of 9s, and then 0s...