Strict minimum-so-far

Definition

Suppose $f$ is an arithmetic function from the natural numbers to a subring of the ring of real numbers. Then, a natural number $n$ is termed a minimum-so-far for $f$ if $f(n)<f(m)$ for all natural numbers $m<n$.

Related notions

• Minimum-so-far is a natural number $n$ such that $f(n)\leq f(m)$ for $m\leq n$.
• Maximum-so-far is a natural number $n$ such that $f(m)\leq f(n)$ for all $m\leq n$.
• Strict maximum-so-far is natural number $n$ such that $f(m)<f(n)$ for all $m<n$.