The math as explained in Twitter is correct, your example is not relevant because [1,999] is not in the form [x,2/x]. I'm sure there's a better way to see the

The math as explained in Twitter is correct, your example is not relevant because [1,999] is not in the form [x,2/x]. I'm sure there's a better way to see the conclusion stated in the tweet, but you can convince yourself with the brute-force way of graphing: - `abs(x-sqrt(2))` (the distance between x and sqrt(x)) - `abs(2/x-sqrt(2))` (the distance between 2/x and sqrt(x)) - `abs((x/2+1/x)-sqrt(2))` (the distance between the midpoint and sqrt(2)) and seeing that the last one is always smaller than the first two between 1 and sqrt(2), the values for x stated in a previous tweet.