Intermediate value theorem/Existence of roots/2/Remark
The existence of arbitrary roots of nonnegative real numbers follows also from the Intermediate value theorem, since, for , the continuous function attains negative and positive values and has therefore also a zero. The proof of fact rests on the method of the Intermediate value theorem, even though continuity is not explicitly used.