approximation to a number within a standard are easy enough; their only difficulty is that they look rather trivial. But when combined with the next idea, that of the "neighbourhood" of a number, they form the foundation of modern mathematical reasoning. What do we mean by saying that something is true for a function in the neighbourhood of the value of the argument ? It is this fundamental notion which we have now got to make precise.
The values of a function are said to possess a characteristic in the "neighbourhood of " when some interval can be found, which (i) contains the number not as an end-point, and (ii) is such that every value
of the function for arguments, other than , lying within that interval possesses the characteristic. The value of the function for the argument may or may not possess the characteristic. Nothing is decided on this point by statements about the neighbourhood of .
For example, suppose we take the particular function . Now in the neighbourhood of , the values of are less than . For we can find an interval, e.g. from to , which (i) contains not as an end-point, and (ii) is such that, for values of lying within it, is less than .
Now, combining the preceding ideas we know what is meant by saying that in the neighbourhood of the function approximates to within the standard . It means that some interval can be found which (i) includes not as an end-point, and (ii) is such that all values of , where lies in the interval and is not , differ from by less than . For example, in the neighbourhood of , the function approximates to within the standard . This is true because the square root of is and the square root of is ; hence for values of lying in the interval to , which contains not as an end-point, the values of the function all lie between and , and
they therefore all differ from 1.41425 by less than .0001 . In this case we can, if we like, fix a smaller standard of approximation, namely .000051 or .0000501 . Again, to take another example, in the neighbourhood of 2