竟然需要推式子的概率期望