Description: An integer greater than or equal to 4 is a positive integer. (Contributed by AV, 30-May-2023)