restart;
bar := proc(X) map(about,_passed); 1; end proc:
F(bar(x), x=0..1) assuming positive:
int(bar(x), x=0..1) assuming positive:
F(bar(x), x=0..x) assuming positive:
int(bar(x), x=0..x) assuming positive:
F(bar(x,X), x=0..X) assuming positive:
int(bar(x,X), x=0..X) assuming positive: