12/08/19 19:08:43.21 dVKSDOo80
>>428
見たことないな。よくあるものとはちょこっと違うと思う。
> 一方、この数は、どの素数で割っても1余るので素数である。
この部分がおかしい気がする。
ここでは「a_nより大きい素数が存在する」と言っているわけだが、
このときには「最大の素数をa_nとする」ということは一旦横に置いているのだから、
(a_1 * a_2 * a_3 * … * a_n) + 1がa_nよりも大きい素因数を持つ場合があることも考えねばならない。
12/08/19 19:08:43.21 dVKSDOo80
>>428
見たことないな。よくあるものとはちょこっと違うと思う。
> 一方、この数は、どの素数で割っても1余るので素数である。
この部分がおかしい気がする。
ここでは「a_nより大きい素数が存在する」と言っているわけだが、
このときには「最大の素数をa_nとする」ということは一旦横に置いているのだから、
(a_1 * a_2 * a_3 * … * a_n) + 1がa_nよりも大きい素因数を持つ場合があることも考えねばならない。