小艾做這個題毫無困難， 看試驗結果

用符號計算軟件 Maple 試驗了一下， 一點困難也沒有。 結果就是超越數 Pi/4

真正困難的是證明數學命題。 機器證明搞了幾十年連邊都沒摸到。