In general, we have the Leibniz rule for n-fold differentiation of a product (see product rule):
For non-integer n, (nj) is defined but nonzero, when j > n, and consequently,
Generalized Product Rule
for integers n > 0.
By analogy we expect, instead, for non-integer n,the infinite series
definition