Let be a natural number, let be the initial segment of determined by , and let be a point of Euclidean space . Write for the Euclidean norm, for the absolute value on the real numbers, whose order is that of an ordered field, and for the canonical map of .
Let be a real number with and suppose that for every . Then
Loading…
No relations recorded yet.