# DiscreteMinLimit

DiscreteMinLimit[f[k],k]

gives the min limit kf(k) of the sequence f[k] as k tends to over the integers.

DiscreteMinLimit[f[k1,,kn],{k1 ,,kn }]

gives the nested min limit  f(k1,,kn) over the integers.

DiscreteMinLimit[f[k1,,kn],{k1,,kn}{ ,, }]

gives the multivariate min limit f(k1,,kn) over the integers.

# Details and Options   • DiscreteMinLimit is also known as limit inferior, infimum limit, liminf, lower limit and inner limit.
• DiscreteMinLimit computes the largest lower bound for the limit and is always defined for real-valued sequences. It is often used to give conditions of convergence and other asymptotic properties that do not rely on an actual limit to exist.
• DiscreteMinLimit[f,k] can be entered as f. A template can be entered as dmlim , and moves the cursor from the underscript to the body.
• DiscreteMinLimit[f,{k1,,kn}{ ,, }] can be entered as  f.
• The possible limit points are ±.
• The min limit is defined as a limit of the min envelope sequence min[ω]:
•  DiscreteMinLimit[f[k],k∞] DiscreteLimit[min[ω],ω∞] DiscreteMinLimit[f[k1,…,kn],{k1,…,kn}{∞,…,∞}] DiscreteLimit[min[ω],ω∞]
• DiscreteMinLimit[f[k],k-] is equivalent to DiscreteMinLimit[f[-l],l] etc.
• The definition uses the min envelope min[ω]MinValue[{f[k],kωk },k] for univariate f[k] and min[ω]MinValue[{f[k1,,kn],k1ωknωki },{k1,,kn}] for multivariate f[k1,,kn]. The sequence min[ω] is monotone increasing as ω, so always has a limit, which may be ±.
• The illustration shows min[k] and min[Min[k1,k2]] in blue.
• • DiscreteMinLimit returns unevaluated when the min limit cannot be found.
• The following options can be given:
•  Assumptions \$Assumptions assumptions on parameters GenerateConditions Automatic whether to generate conditions on parameters Method Automatic method to use PerformanceGoal "Quality" aspects of performance to optimize
• Possible settings for GenerateConditions include:
•  Automatic non-generic conditions only True all conditions False no conditions None return unevaluated if conditions are needed
• Possible settings for PerformanceGoal include \$PerformanceGoal, "Quality" and "Speed". With the "Quality" setting, DiscreteMinLimit typically solves more problems or produces simpler results, but it potentially uses more time and memory.

# Examples

open all close all

## Basic Examples(4)

Min limit of a sequence:

 In:= Out= Min limit of a product:

 In:= Out= In:= Out= Use dmlim to enter the template and to move from the underscript to the body:

 In:= Out= In:= Out//TraditionalForm= ## Neat Examples(1)

Introduced in 2017
(11.2)