Given that the factorial is a discrete function, not a continuous one, there is no continuous derivative, so the discrete derivative is simple to formulate from this basis.
I'm reviewing Meirovitch's "Methods of Analytical Dynamics," and I don't understand the commutation of the derivative from r to dr:
$$
\mathbf{F} \cdot d\mathbf{r} = m \ddot{\mathbf{r}} \cdot d\mathbf{r} = m\mathbf{\dot{r}} \cdot d\mathbf{\dot{r}}
$$