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 <= n ^ (Ei:0 <= i <= n:2**i=p)

* Stopcriterium
	p * 2 <= n

Initialisatie
	p=1;

Stap richting stopcriterium
	p = p * 2;

Actie herstel invariant
	niet nodig

Algoritme

public int A038(int n){
	int p=1;
	while(p*2<=n){
		p=p*2;
	}
	return p;
}