A sharp lower bound for choosing the maximum of an independent sequence. - Pieter C. Allaart; José A. Islas (J. Appl. Probab., 2016)