15.5 可验证区域的估计