コラッツ予想 どれだけ証明できるか | ScratchStats