$P_i \thicksim F_i(p)=Pr[P_i \leq p]$，$P_i$相互独立

$Pr[min_i P_i \leq p]=\frac{\int_0 ^p \prod_{s \neq i}[1-F_s(q)]dF_i(q)}{\int_0 ^\infty \prod_{s \neq i}[1-F_s(p)]dF_i(p)}$

请问如何得到等式右边？