Add real assumption helper for factorial function (Fix #8722)

Add real assumption helper for factorial function, there was some logical error in earlier implementation.
Fixes #8722 

@pelegm
@skirpichev