il faut faire un peu attention au valeure de a_i. Mais si elles sont toute positive et que a_b est strictement positive alors ton theoreme est correcte.
En prenant n_0 = 0 et c = \sum_i a_i te donne les egalite que tu veux pour prouve la notation big-O.
pour prouver big-omega, j epense que n_0 = 0 et c = a_b est suffisant.