奇数の完全数の存在に関する証明2

[0597 １３２人目の素数さん 2018/11/14(水) 23:59:56.48 ID:SH0OI8pM]

>>596
w = (pr-1)/(2tr) = (pr-1)/(2tr'pr^(qr-cr-1))
と
pr-1 < pr^(qr-cr-1) と 「2, tr'は整数」
から
pr-1 < 2tr
が言えるので、wは分数だと思います。