Vraagstelling
	p is de grootste macht van 2 niet groter dan constante n

Strategie

Formele probleemspecificatie
	pre: n>=1
	post: 1 <= p <= n < p * 2 ^ (Ei:0 <= i <= n:2**i=p)

* Eindrelatie
	R: p >= 1 ^ p <= n ^ p * 2 > n ^ (Ei:0 <= i <= n:2**i=p)

* Invariant
	p >= 1 ^ p * 2 > n ^ (Ei:0 <= i <= n:2**i=p)

* Stopcriterium
	p > n

Initialisatie
	p = 2**n;

Stap richting stopcriterium
	p = p/2;

Actie herstel invariant
	Niet nodig

Algoritme

public int A039(int n){
	int p = Math.pow(2,n); // java voor 2**n
	while(p > n){
		p = p/2;
	}
	return p;
}