任意取x1>a, 因为x----正无穷时,f(x)----0,故对于正数f(x1),存在正数N, 使x>N时,|f(x)-0|f(x)又在闭区间[a,N]上,应用最大最小值定理:在区间[a,N]至少有一点x2,使f(x2)>=f(x).由此,若f(x1)>f(x2),则取x0=x1, 这时在[a,正无穷}就有:f(x0)>=f(x). 若f(x1)<=f(x2),则取x0=x2, 这时在[a,正无穷}就有:f(x0)>=f(x).