На заводе по производству наборов сладостей наборы составляются следующим образом: изначально в набор кладут k сладостей, цены которых a1,…ak, затем, чтобы уравнять
получившийся набор с другими N наборами на складе, этот набор сравнивают со всеми
наборами на складе в порядке нумерации (наборы пронумерованы от 1 до N) и делают
следующую операцию: если самая дорогая сладость в новом наборе дороже самой дорогой из iго набора со склада, то надо самую дорогую из нового набора поменять на самую дешевую из iго набора со склада. Какова будет суммарная стоимость набора после такого “уравнивания”?

Честно, не поняла ваш код вообще. Почему нет цикла? Предлагаю свое решение:
1)Cначала заполняем массив случайными числами от 2 до 5 (включительно)
2)Потом выводим его (Для проверки)
3) Потом считаем оценки. Но сначала нужно обнулить переменные( В самом начале это делали), а то получится кака (:

program N_0547847;
var
    b, c, d, f, i:integer;
    a: array [1..20] of integer;
begin;
randomize;
b:=0; c:=0; d:=0; f:=0;
for i:=1 to 20 do begin
  a[i]:=random(4)+2; 
  write(a[i],' '); end; 
writeln;
for i:=1 to 20 do begin
    if a[i]=2 then  b:=b+1;
    if a[i]=3 then  c:=c+1;
    if a[i]=4 then  d:=d+1;
    if a[i]=5 then   f:=f+1;
end;
writeln('Двоек: ', b); 
writeln('Троек: ', c); 
writeln('Четверок: ',d);
writeln('Пятерок: ',f);
end.   

Дело в уровне сложности и подготовке специалиста. Библиотека pygame написана для языка python. В python программист не задумывается о таких сложных вещах, которые происходят на более базовых языках. То есть он не отчищает оперативную память по окончанию работы программы, ему не нужно задумываться о всеразличных пакетах разрешений, которые могут понадобится ему для выполнения простейших в python операций. Выходит, что программируя на pygame, программист сосредотачивает свое внимание на процессах игры, а не на запросы разрешений и многих прочих вещей.