>>654
ありがとうございます。
証明はほぼ完成しています。
https://github.com/righ1113/collatzProof_DivSeq

arXivに投稿するには、endorser裏書人が必要なので、難しいかなと思っています。