실수 k에 대하여 확률변수 X는 평균이 2이고 표준편차가 σ인 정규분포를, 확률변수 Y는 평균이 2k+2이고 표준편차가 σ인 정규분포를 따른다. 실수 전체의 집합에서 정의된 함수 f(t)를
f(t)=∣P(X≤t)−P(Y≥t)∣ 라 하자. 확률변수 X,Y와 함수 f(t)가 다음 조건을 만족시킨다.
(가) 모든 실수 t에 대하여 f(t)≥f(σ)이다.
(나) P(σ−k≤X≤σ)+P(σ+k≤Y≤σ+3k)=0.532
f(8)의 값을 다음 표준정규분포표로 구한 값이 a이다. 1000×a의 값을 구하시오.