Which exactly notation is new?
Last time I had some questions on Big-Oh proofs, this set of problems is similar, I was wondering if the different notation still means the same thing, except now f(n) is always above 0? So "there exists some c so that if n is above the threshold B, then no matter what n is cg(n) will always be equal or greater than f(n)"?
I'm not really familiar with the new notation.
It's not clear what n you are referring to.Ok, so it translates to "if f(n) results in a real number greater to or equal to 0, then ... ..."?
The notations here have nothing to do with big-Oh; they are standard mathematical notations.
-- the set of elements of for which holds. This is set-builder notation.
-- is a function with domain and codomain (the set of nonnegative real numbers). Actually, I think should be used instead of . One writes to mean a function maps (an element of the domain) into .
-- if , then . See the list of logic symbols.