algo4: miscellaneous: First missing positive