Look, your product rule argument is circular.  The proof of the product rule "assumes" two things:  1) That the limits exist.  2) that the functions are differentiable (at least around the limits).  Continuity can't be proven, if that is the assumption you are beginning with.####[]