Max Increasing Subsequence

ecotteaさんの提出で気づいたのですが、 EDPC-Qで既出でした。