I wanted to prove if f : [a,b] -> R is a continous function then f is evenly continous on [a,b]
And [a,b] is an interval in R the real numbers
Now my idea was to approach it from the observation that whenever a function is uniformly continous then for each e > 0 there exists a d > 0 which is "good" for all x,y in the domain D.
Meaning, whenever |x-y| < d then |f(x) - f(y)| < e
I concluded that therefore for each e > 0 there must exists an infimum d* > 0 in R of the set of all "good" d(x0) for all x0 in D, meaning the d(x0) which certifies us that f is continous in x0
For all x in D : |x-x0| < d(x0) => |f(x)-f(x0)| < e
I figured this infimum must exist because otherwise we would always find some x0 in D where the d-environment has to be smaller than the d-environment we assumed sufficient for f being uniformly continous, hence its not.
Then I wanted to use the knowledge we have about f being continous on a closed interval to argue that there exists an infimum on those d(x0) for on this interval.
But somehow I dont find a way to proceed
Also I feel like the "infimum" argument is kind of unclean
Would appreciate any help