限界では、正式な検証は計測にコストがかかりすぎます