Найти количество четных чисел от 1 до n

Лень мне придумывать эффективный алгоритм, простая реализация через цикл:

var

i, counter,n : integer;

begin

readln(n);

for i := 1 to n do

if i mod 2 = 0 then

counter := counter + 1;

write(counter);

end.

var a,k,i: integer;

begin

 write('Введите число n: ');

 readln(a);

 k:=0;

 for i:=1 to a do

 begin

   if i mod 2=0 then

     k:=k+1;

 end;

 writeln('Чётных цифр: ',k);

end.