#9. 程序的时间复杂度证明

来源：第一次定理证明大赛3 AC / 2 提交 · 150%