教授跳樓 - 拼圖

這也是老師下課前給的題目
想問有沒有比較formal的証法
thanks
--
一家建築公司老闆要蓋一樓大廈給教授們辦公。
預計100層。
教授有一個壞習慣，在思考問題的時候，想不出來會往大樓外跳。
大廈在某層高度以上，跳下來會摔死。

現在老闆找了二個自願的教授，想決定一個最高的樓層數，跳下來不會摔死。
問至少要跳幾次才能決定大廈最高可以蓋幾層?


--