連続関数の性質(有界性、符号保存など)