Optimal second-order product probability bounds