James Harris wrote: > > So someone pointed out that there's the trivial relation > > [x] + [x + 1/2] = [2x] where you're in reals, > > and I started thinking about > > [x] + [x + 1/k] = [2x] > > also in reals, with k>1, and it turns out you need x>1 as well, > which I was thinking about didn't put down before. > > Using that with x = N/2kj,
Whoa, whoa, whoa. How about proving the above before using it?
This would also be a good opportunity to demonstrate your "null test" idea.