Reference: EXISTS

∃(S, var, expr) returns true if there exists (at least one) element in the set S satisfying the boolean-valued expression expr in the variable var.

Example: S ≔ [1, 100]
         ∃(S, "n", "isPerfect(n)") = true