DifferenceRootReduce

DifferenceRootReduce[expr,n] attempts to reduce expr to a single DifferenceRoot object as a function of n.

Examples

DifferenceRootReduce[Fibonacci[n], n]
(* DifferenceRoot[...] *)

Please visit the official Wolfram Language Reference for more details.