证 f in C([a,b]) 有界。