Οι συναρτήσεις

,

, είναι παραγωγίσιμες σε όλο το

, με παραγώγους τις συναρτήσεις

,

,

.
Οι συναρτήσεις

παρουσιάζουν μέγιστο στο

και επομένως για κάθε

,

, ισχύει
Επειδή

, από το κριτήριο του Weierstrass προκύπτει ότι η σειρά

συγκλίνει ομοιόμορφα στο

σε μία συνάρτηση

.
Επειδή

, από θεώρημα προκύπτει ότι και η σειρά

συγκλίνει ομοιόμορφα σε μία παραγωγίσιμη συνάρτηση

, δηλαδή

, για την οποία ισχύει

.
Επειδή

ομοιόμορφα, από θεώρημα προκύπτει ότι ισχύει
Επειδή η συνάρτηση

είναι άρτια, έπεται ότι η συνάρτηση

είναι περιττή. Όπως και η συνάρτηση

.
Επομένως

.
Τέλος,
