Editing Big O notation (section)

==== The Knuth definition ====
In 1976 [[Donald Knuth]] published a paper to justify his use of the <math>\Omega</math>-symbol to describe a stronger property.<ref name="knuth"/> Knuth wrote: "For all the applications I have seen so far in computer science, a stronger requirement ... is much more appropriate". He defined

:<math>f(x)=\Omega(g(x))\Longleftrightarrow g(x)=O(f(x))</math>

with the comment: "Although I have changed Hardy and Littlewood's definition of <math>\Omega</math>, I feel justified in doing so because their definition is by no means in wide use, and because there are other ways to say what they want to say in the comparatively rare cases when their definition applies."<ref name="knuth">{{cite journal |first=Donald |last=Knuth |doi-access=free |s2cid-access=free |title=Big Omicron and big Omega and big Theta |journal=SIGACT News |date=April–June 1976 |volume=8 |issue=2 |pages=18–24 |doi=10.1145/1008328.1008329 |s2cid=5230246 }}</ref>