DiscreteLimit

WMA link


DiscreteLimit[f, k->Infinity]

gives the limit of the sequence f as k tends to infinity.

Derivative
FindMaximum