Find the local maximum by taking the derivative:

dgay
dt

But maximums are only guaranteed to be represented by a unique element in in total orderings.

Edit: also, infinite sets might not necessarily contain an element of their maximum value.