abf(x)eiλxdx0,