数学的に100%保証できることはその程度に限られてるよな
そんな保証よりもオーバーフローを検知できて対応処理をすることが大切