指定最大数值，求出解，验证该猜想在给定数值范围内是否正确。