  {¬¥â®¤ ¤¥«¥­¨ï ¯®¯®« ¬}
  {¯®¨áª ¯®¤å®¤ïé¥£® ¬¥áâ }
  l:=1; r:=i-1;
  while l <= r do
   begin
    m:=(l+r) div 2;
    if f(x) < f(a[m]) then
      r := m-1
    else
      l := m+1
   end;
     ÚÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄ¿
     ³{á¤¢¨£ í«¥¬¥­â®¢     ³
     ³ ®â i-1 ¤® l ¢¯à ¢® }³
     ÀÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÙ
   {¢ª«îç¥­¨¥ å}
   a[l] := x
 ÚÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄ¿
 ³ { á¤¢¨£ í«¥¬¥­â®¢       ³
 ³   ®â i-1 ¤® l ¢¯à ¢® }  ³
 ³ for j := i-1 downto l do³
 ³   a[j+1] := a[j]        ³
 ÀÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÙ
