Titta, ditt produktregelargument är cirkulärt.  Beviset för produktregeln "förutsätter" två saker: 1) Att gränserna finns.  2) att funktionerna är differentierbara (åtminstone runt gränserna).  Kontinuitet kan inte bevisas, om det är antagandet du börjar med.####[]