Description: Membership in the limit class. (Contributed by Scott Fenton, 15-Jun-2018) (Revised by AV, 10-Oct-2021)