кванторы в паскале. оператор while

[al9_vmk]

Задание: любое m ( натуральное) пока m<= n+3 ,существует такое p (натуральное) что F(p)< e( эпсилон ) ,произвольное q (натуральное) . если q<p проверяется функция G(n,p,q) и если функция выполняется то вывод1. иначе вывод2.
вот мой код

var
n,q,p,m:integer;
begin 
readln (e);
while m<=n+3 do begin 
 while f(p)<e do begin 
  while q<p do begin 
  if G(m,p,q) then writeln('0001');
                 else writeln('0002');
                    end;
                      end;
                        end;
end.

считается что функции f(p) и G(m,p,q) какие то действия которые вводятся заранее и от нас не зависят. Программу можно как то доработать, я пока что то не могу понять как. Кто то говорит что нужно использовать маркеры f1.f2.f3 после каждого while, но я не знаю как=\ Заранее спасибо за ваши идеи-)