20/01/12 00:04:36.91 +OuGTCMp.net
151 ：１３２人目の素数さん [] ：2020/01/11(土) 23:02:15.94 ID:EmYs434A (12/15)
↓誰かこの証明を解読してください。
URLﾘﾝｸ(i.imgur.com)
152 ：１３２人目の素数さん [] ：2020/01/11(土) 23:08:26.94 ID:EmYs434A (13/15)
「n - 1 + m/p ≧ b であるような自然数 m 全体の集合 T は空でない」
↑これは、その前に成り立つ理由が書いてありますが、その理由が分かりません。
↑が成り立つ理由なら簡単です：
b - (n - 1) > a - (n - 1) ≧ 0 だから
アルキメデスの公理から
m * (1/p) > b - (n - 1)
となるような自然数 m が存在します。
すなわち
n - 1 + m/p > b
となるような自然数 m が存在します。
153 ：１３２人目の素数さん [] ：2020/01/11(土) 23:11:33.22 ID:EmYs434A (14/15)
「n - 1 + m/p ≧ b であるような自然数 m 全体の集合 T は空でない」
↑これは、その前に成り立つ理由が書いてありますが、その理由が分かりません。
↑が成り立つ証明なら簡単です：
b - (n - 1) > a - (n - 1) ≧ 0 だから
アルキメデスの公理から
m * (1/p) > b - (n - 1)
となるような自然数 m が存在します。
すなわち
n - 1 + m/p > b
となるような自然数 m が存在します。
154 ：１３２人目の素数さん [] ：2020/01/11(土) 23:13:19.09 ID:EmYs434A (15/15)
A だから B
という簡単な文章も満足に他人が分かるように書けない人なんですね。