Vraagstelling
	De gehele waarde a tussen 0 en n waarvoor geldt:
	0<=a<=worteln<(a+1)

Strategie

Formele probleemspecificatie
	pre: n>=0
	post:0<=a<=worteln<(a+1)

* Eindrelatie
	R:0<=a ^ a*a<=n ^ n<(a+1)*(a+1)

* Invariant
	0<=a ^ a*a<=n

* Stopcriterium
	n>=(a+1)*(a+1)

Initialisatie
	a=0;

Stap richting stopcriterium
	a++;

Actie herstel invariant
	niet nodig

Algoritme

public int A036(int n){
	a=0;
	while(n>=(a+1)*(a+1)){
		a++;
	}
	return a;
}