Falling and Rising factorials are integers

Assuming both arguments are integers, the function output is also known to be
integer.