kill(all);fpprec:2013$

     Van - facebook.com/LearningCalculus

a:bfloat(3-1/5^2011);

Van[1]:sqrt(6)$ Van[n]:=sqrt(6+Van[n-1]);

b:bfloat(Van[2012])$

c:bfloat(3)$

is(a < b);

is(b < c);