>>427
m_nの形が分っているなら
まず、m_1=1、m_2=2を確認する
つぎに、m_n、m_{n-1]、m_{n-2}をP_nの漸化式に代入して
成り立つことを示す。