 has an odd number of roots between _x_ = 0 and some very large positive value of _x_ , and an even number of roots between _x_ = 0 and some very large negative value of _x_ , and consequently that it has at least one real positive root