福田のおもしろ数学371〜初項が素数で漸化式で定義された数列が素数でない項をもつ証明

[@vacuumcarexpo]

答見ちゃった❗

[@アサイチ-z1c]

こういう数列はmodで見ると必ず循環する。さらにこの数列はa_1≧2で短調増加だからmodpで見るとa_nがpの倍数で、かつa_n>pとなるnが存在するから終わり。

[@peco633]

ありがとうございました♪

[@みふゆもあ]

倒した😊⛄️✌️
一般項、見るからに見るからに見るからに。