この資料をSMS送信: Bounding the escape time of a linear dynamical system over a compact semialgebraic set