Is anyone familiar with using Mathematica to determine whether a function is asymptotic (big O) to another.
A function $f$ is asymptotic to function $g$ if there are positive $c, n0$ such that $|f(n)| ≤ c|g(n)|$, for all $n ≥ n0$. This relationship is written $f(n) ∈ O(g(n))$.
Determine whether the function $f(x) = 17x + 11$ satisfies $f(x) ∈ O(x^2)$.
My solution is
True, because the determining factor in $f(x)$ is less than or equal to x^2.
I would like to use Mathematica to check my answer. How can I do that?