FirstThatHolds​(AngouriMath.​Entity.​Set,​AngouriMath.​Entity.​Variable,​AngouriMath.​Entity)

The least member of the whole numbers over at which
condition evaluates to True, found by trying them in order from
the least up: every member before it was tried and evaluated to False, so it is the
least. Sullivan and Mackey's Prob 8.9.3,
min(n, n in { n in ZZ+ : n binomial(n - 1, 2) >= 14 }), is 5. null where a member's condition does not evaluate to a truth value, or none of the first
MaxMembersSearched holds. https://github.com/asc-community/AngouriMath/issues/1409