>>303 ちと気になったんだが
lim[x→∞]F(x)=0は自明か?