# Exercici 03-1-4

assume(a>0);
is((a+(1/a))>=2);

is((a+(1/a))<2);