∫F(x)exp(-x)dx from 0 to ∞