kill(all)$

van=facebook.com/LearningCalculus;

f(a,b,c):=a+b+c >= 1;

f(3,3,3); is(%);
f(1,4,4); is(%);

g(a,b,c):= a+b+c = 9;

h(a,b,c):=sqrt(a)+sqrt(b)+sqrt(c)>=sqrt(a*b+b*c+c*a);

h(3,3,3); is(%);
h(1,4,4); is(%);

for a: 1 thru 7 do 
    for b: 1 thru 7 do
        for c:1 thru 7 do
            if (g(a,b,c) and not((h(a,b,c)))) then
                print(a,b,c,g(a,b,c),h(a,b,c), is(h(a,b,c)));