We are going to perform a simple procedure below to a natural number.
[Step 1] Divide the number by .
[Step 2] Subtract , , , , from the number from [Step 1] , until right before the result becomes negative. If the result from [Step 1] doesn't allow us to even subtract , then leave it untouched, and proceed to the next step.
[Step 3] Multiply to the number from [Step 2] .
I'll show you some examples to make it clear.
[Example 1]
[Step 1] .
[Step 2] .
[Step 3] .
Another example.
[Example 2]
[Step 1] .
[Step 2] .
[Step 3] .
You'll see that the output is the positive square root of the input.
Now, your objective is to:
Find the maximum value of positive integer that makes this property hold for .
If you think "Every positive integer satisfies the property", submit as your answer.
If you think "Even though not every positive integer satisfies the property, there are infinitely many positive integers that satisfy the property", submit as your answer.
This section requires Javascript.
You are seeing this because something didn't load right. We suggest you, (a) try
refreshing the page, (b) enabling javascript if it is disabled on your browser and,
finally, (c)
loading the
non-javascript version of this page
. We're sorry about the hassle.
Notice that x − 1 − 2 − 3 − 4 − 5 . . . − n = x − 2 n ( n + 1 ) . Now, the crucial step is to realize that every time we subtract 1 , 2 , 3 , 4 . . . "until the right before the result becomes negative" in step 2, we are subtracting only up to n − 1 . I will show this in a moment, but first let's generalize the steps to this procedure, which will enable us to see that this does, in fact, hold for every positive integer n :
1 . 2 . 3 . 4 . n 2 2 n 2 2 n 2 − 2 ( n − 1 ) n = 2 n 2 n ⋅ 2 = n
Now let's look at step 3. As previously mentioned, we can only subtract up to n − 1 , hence the − 2 ( n − 1 ) n . That leaves us with the positive number 2 n . Now let's say we had subtracted up to n :
2 n 2 − 2 n ( n + 1 ) = 2 n 2 − n 2 − n = − 2 n
We see that subtracting up to n would have yielded a negative number. Hence, we only subtract up to n − 1 .
We have shown that this property holds for all positive integers n . QED