测试数据来自 wjszez/2158

LIS (longest increasing subsequence)，最长非降子序列。
现给出n和n个整数，求最长的非降子序列的长度。
输入格式
 第1行：一个整数n(1<=n<=3000)。
第2行：n个整数ai(0<ai<=1000)。
输出格式
一个整数，表示最长的非降子序列的长度。
输入样例
5
1 2 3 0 5
输出样例
4