Returns true if vector[other.actorID] is greater than or equal to the given ticket's Lamport.
vector[other.actorID]