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 ^ n<(a+1)*(a+1)

* Stopcriterium
	a*a>n	

Initialisatie
	a=n;

Stap richting stopcriterium
	a--;	

Actie herstel invariant
	niet nodig	

Algoritme

public int A037(int n){
	int a = n;
	while(a*a>n){
	a--;
	}
	return a;
}