Цикл в фрагменте программы p := 2; repeat p := p * 0.1 until p < 0.1; будет исполнен:

Изначальное значение p равно 2.

На первой итерации p станет 2 * 0.1 = 0.2.

На второй итерации p станет 0.2 * 0.1 = 0.02.

Условие p < 0.1 выполняется на второй итерации, поэтому цикл будет исполнен 2 раза.