기대값 공식 유도