Do there exist two functions such that for all the following inequality holds?
Solution
For all we have:
For every , consider the point in the plane. The above inequality shows that the distance between every two of these points is more than . For every point , consider a circle with center at this point and a radius of , so not two of these circles intersect. On the other hand the number of these points are uncountable, so we have an uncountable number of circles in the plane that no two of them intersect and this is impossible; because there is a point with rational coordinates in every one of the circles, hence we would have an uncountable number of points with rational coordinates and since we know that the total number of the points with rational coordinates is countable, this is a contradiction; so no two functions with this property exist.