一から実数の定義と上限下限の説明しないとダメなの