kill(all)$

van=facebook.com/LearningCalculus$

f(a):=tan(a) + tan(%pi^2/(16*a));

limit(f(a),a,%pi/16);

float(%);

is(tan(%pi/16)<2);