# Exercici 03-1-5

assume(a<b, b>0);
is(((a^2+b^2)/2)>=((a+b)/2)^2);