(->i ([argument positive?])
        [result (argument) (and/c positive? (if (> argument 1)
                                                (</c argument)
                                                (>=/c argument)))])