maxLamport

Returns the maximum Lamport value from the vector.