Στα μαθηματικά, το παραγοντικό είναι ένας μη αρνητικός ακέραιος αριθμός N, που συμβολίζεται N! και ισούται με το γινόμενο όλων των θετικών ακεραίων που είναι μικρότεροι ή ίσοι του N. Για παράδειγμα, . Το 0! ισούται με 1 σύμφωνα με τη σύμβαση του κενού γινομένου. Το παραγοντικό χρησιμοποιείται σε αρκετούς τομείς των μαθηματικών όπως πιθανότητες, στατιστική, άλγεβρα και μαθηματική ανάλυση. Εμφανίζεται συνήθως όταν θέλουμε να διατάξουμε N διακριτά αντικείμενα σε μία ακολουθία (μεταθέσεις στο σύνολο των αντικειμένων) διότι αυτό επιτυγχάνεται με N! διαφορετικούς τρόπους.
Έστω ότι θέλουμε να υπολογίσουμε το 5! άρα n=5. Δεν ικανοποιείται η συνθήκη ελέγχου if οπότε θα εκτελεστεί η εντολή 5 * Factorial(4). Κατά την 2η κλήση του αλγορίθμου επίσης δεν ικανοποιείται η συνθήκη οπότε καλείται και πάλι ο αλγόριθμος. Αυτό συμβαίνει μέχρι το όρισμα της συνάρτησης Factorial να ισούται με 1, όπου και θα λάβει αποτέλεσμα 1. Τότε θα επιστρέψει στην προηγούμενη κλήση και θα πολλαπλασιαστεί με 2. Το ίδιο θα συνεχίσει να συμβαίνει μέχρι να επιστρέψει στην 1η κλήση του αλγορίθμου όπου το επιμέρους αποτέλεσμα θα πολλαπλασιαστεί με 5.
Factorial(5)=5*Factorial(4)=?