python min() built-in function