 This notion is used, for example, in the study of Hardy fields, which are fields made up of real functions, each of which have certain properties eventually.When a sequence or a function has a property eventually, it can have useful implications in the context of proving something with relation to that sequence.For example, in the context of the asymptotic behavior of certain functions, it can be useful to know if it eventually behaves differently than would or could be observed computationally, since otherwise this could not be noticed.