コラッツ予想の確認