先日の補題の話に対して、id:shota_pubさんから 持っている本の2冊がCauchyの判定法の証明のところで証明して使ってました というブックマークコメントをいただきました。 なるほど、Cauchyの判定法はこの補題を経由しても証明できるんですね。言われてみれ…