京都府立医科大のカタラン数の一般化
はかなり難しかった気がするわ
あれは帰納法使わないと無理なのか？