>>358
まずは「隣の実数」の厳密な定義を書いてくれ。