【案例4】 冰雹猜想