However we need to bound the product and not just one single ratio.
In general: Given z = P_i x_i with independent r.v.'s xi we have E [z]= P_i E [x_i] and…