関係ないかもしれないが実数をn個と仮定するとn±1も実数だから無限に存在するってのは証明になってる?