Guarantees of Non-Recurrence. An Approximation