1: \begin{definition}

2: 	\label{def.asymp_func} (\cite[Theorem~2.5.1]{aus03} Asymptotic function)

3: 	The asymptotic function associated with a proper function $f:\real^N\to\real\cup \{\infty\}$ is the function given by

4: 	\begin{align}

5: 	\label{eq.asymp_func}

6: 	\begin{array}{rcl}

7: 	f_{\infty}:\real^N & \to & \real \cup \{\infty\} \\ 

8: 	\signal{x} & \mapsto & \inf\left\{\displaystyle \liminf_{n\to\infty} \dfrac{f(h_n\signal{x}_n)}{h_n}~|~h_n\to\infty,~\signal{x}_n\to\signal{x} \right\},

9: 	\end{array}

10: 	\end{align} 

11: 	where $(\signal{x}_n)_{n\in\Natural}$ and $(h_n)_{n\in\Natural}$ are sequences in $\real^N$ and $\real$, respectively. Equivalently, $f_{\infty}:\real^N  \to  \real \cup \{\infty\}:\signal{x}\mapsto \liminf_{h\to\infty,\signal{y}\to\signal{x}}{f(h\signal{y})}/{h}$.

12: \end{definition}

13: