背理法なしで数学を組み立ててみればいい
たしか解析で行き詰まる