>>265
ここ使うと便利
https://www.integral-calculator.com/

定積分計算ツールで計算してみた

   1100
F(x)=∫((1/((sqrt(2pi))*31.5732778132))*e^(-(((x-1000)^2)/(2*(31.5732778132^2)))))dt=0.9984610425802493
   900

99.84610425802493%