「1より小さく1未満のいかなる実数よりも大きい何か」の説を否定するには
limの定義にまで踏み込まないといけないわけだ
頑張ってね