HomeDocPdf of minimum of two exponential distributions