Solution (source code)

= Solution

\b[True.] For every $n\geq1$,
$$
0\leq n^2+99n+43\leq(1+99+43)n^2=143n^2.
$$
These constants satisfy the definition of <Big O notation>.