Question 1: It can be proved that the limit of the variable lower bound integral function of this integral is 0 when x→+∞.

So we can use Robita to prove F(x)→0.

The second type: it can be proved that the direct derivative is less than 0. Note that the derivative of the variable lower bound integral function is -e (-x? /2)