18/07/19 21:26:06.57 2Y1iW8Lv.net
log(collatz_max(x))/log(x)>=3を満たすようなxは存在するか？
存在するとしたら有限個か？
このあたりが中間ゴールとしていい感じだと思うんだが。
そういえば>>1はコラッツについてまとめた本持ってたよね？
なんかこの辺について載ってない？
18/07/19 21:26:06.57 2Y1iW8Lv.net
log(collatz_max(x))/log(x)>=3を満たすようなxは存在するか？
存在するとしたら有限個か？
このあたりが中間ゴールとしていい感じだと思うんだが。
そういえば>>1はコラッツについてまとめた本持ってたよね？
なんかこの辺について載ってない？