Πak/Πbkが整数にならないという仮定が成立するとき
奇数の完全数が存在しない
ということは、既知だったのでしょうか？