fix: incorrect exception handling in factorial function

[henriq4]

Description of Change

This pull request corrects the recursive factorial function by:

• Fixing the incorrect exception handling (previously throwing an exception for values less than 20 instead of greater than 20).
• Ensuring that the function throws an exception when n > 20 to prevent overflow in uint64_t.

Checklist

• [x] Added description of change
• [x] Added file name matches File name guidelines
• [x] Added tests and example, test must pass
• [x] Added documentation so that the program is self-explanatory and educational - Doxygen guidelines
• [x] Relevant documentation/comments is changed or added
• [x] PR title follows semantic commit guidelines
• [x] Search previous suggestions before making a new one, as yours may be a duplicate.
• [x] I acknowledge that all my contributions will be made under the project's license.

Notes: This is my first good issue, and I’m grateful to contribute to the project. Fixes #2867