⌊n⌉! congruent {n! | for n>=0 (-1)^(-n - 1)/((-n - 1)!) | for n<0. auto right match The Roman factorial arises in the definition of the harmonic logarithm and Roman coefficient. It obeys the identities ⌊n⌉! = ⌊n⌉⌊n - 1⌉!

harmonic logarithm | harmonic number | Roman coefficient