Dãy con tăng dài nhất

var      a,b:array[0..10000] of integer;
          i,j,jmax,n,max:integer;
 begin
 readln(n);
 for i:=1 to n do read(a[i]);
 a[n+1]:=maxint;
 b[n+1]:=1;
 for i:=n downto 1 do
 begin
 jmax:=0;
 for j:=i+1 to n do
 if (a[j]>a[i]) and (b[j]>jmax) then
 begin
 jmax:=b[j];
 end;
 b[i]:=jmax+1;
 end;
 for i:=1 to n do
 if b[i]>max then max:=b[i];
 write(max);
 end.     

var
n,m:longint;
a,f:array[1..30000] of longint;

function tim(x:longint):longint;
var dau,cuoi,giua:longint;
begin
if x>f[m] then exit(m+1);
if x<=f[1] then exit(1);
dau:=1;cuoi:=m;
repeat
giua:=(cuoi+dau) div 2;
if f[giua]>=x then cuoi:=giua else dau:=giua;
until cuoi-dau=1;
exit(cuoi);
end;

procedure main;
var k,i:longint;
begin
readln(n);
read(a[1]);
f[1]:=a[1];
m:=1;
for i:=2 to n do
begin
read(a[i]);
k:=tim(a[i]);
if k=m+1 then inc(m);
f[k]:=a[i];
end;
writeln(m);
end;

BEGIN
main;
END.

function max(a,b:ii):ii;
begin
        if a<b then  max:=b else max:=a;
end;
 
procedure up(i,x:ii);
 
begin
        while i<=n do
              begin
              t[i]:=max(t[i],x);
              i:=i+i and (-i);
              end;
end;
 
function get(i:ii):ii;
 var k:ii;
begin
        k:=0;
        while i>0 do
              begin
              k:=max(k,t[i]);
              i:=i-i and (-i);
              end;
        get:=k;
end;
 
procedure ch;
 var i,res,k:ii;
begin
            rr;
            res:=0;
            fillchar(t,sizeof(t),0);
            for i:=1 to n do
                begin
                k:=get(b[i]-1);
                res:=max(res,k+1);
                up(b[i],k+1);
                end;
            assign(f,fo);
            rewrite(f);
            write(f,res);
            close(f);
end;

ii là longint.