大学入試レヴェルの『数学的帰納法』を
プログラムによって解かせるものを考えた。

でもこれって既出かな？？？