Let $Z^+$ be positive integers set. $f:\mathbb{Z^+}\to\mathbb{Z^+}$ is a function and  
we show $ f \circ f \circ ...\circ f $ with $f_l$ for all $l\in \mathbb{Z^+}$ where $f$ is repeated $l$ times. Find all $f:\mathbb{Z^+}\to\mathbb{Z^+}$ functions such that $$ (n-1)^{2020}< \prod _{l=1}^{2020} {f_l}(n)< n^{2020}+n^{2019}  $$
for all $n\in \mathbb{Z^+}$ 
1. **Initial Assumption and Base Case:**
   - We start by assuming \( f(1) = 1 \). This is straightforward since \( f \) maps positive integers to positive integers and must satisfy the given inequality for all \( n \in \mathbb{Z^+} \).

2. **Assume \( n \) is the smallest positive integer such that \( f(n) \neq n \):**
   - Let \( n \geq 2 \) be the smallest positive integer such that \( f(n) \neq n \). This implies \( f(i) = i \) for all \( i \in \{1, 2, \ldots, n-1\} \).

3. **Case 1: \( f(n) < n \):**
   - Let \( f(n) = c \) where \( c < n \). Since \( c < n \), we have \( f(c) = c \) because \( c \) is less than \( n \) and \( n \) is the smallest integer for which \( f(n) \neq n \).
   - Therefore, 
     \[
     \prod_{l=1}^{2020} f_l(n) = c \cdot \prod_{l=1}^{2019} f_l(c) = c^{2020}
     \]
   - Given the inequality:
     \[
     (n-1)^{2020} < c^{2020} < n^{2020} + n^{2019}
     \]
   - Since \( c < n \), we have \( c^{2020} < n^{2020} \), but this contradicts \( (n-1)^{2020} < c^{2020} \). Hence, \( f(n) < n \) is not possible.

4. **Case 2: \( f(n) > n \):**
   - Let \( f(n) = c \geq n+1 \). Then,
     \[
     \prod_{l=1}^{2020} f_l(n) = c \cdot \prod_{l=1}^{2019} f_l(c)
     \]
   - Given the inequality:
     \[
     \prod_{l=1}^{2020} f_l(n) < n^{2020} + n^{2019}
     \]
   - This implies:
     \[
     c \cdot \prod_{l=1}^{2019} f_l(c) < n^{2020} + n^{2019}
     \]
   - Since \( c \geq n+1 \), we have:
     \[
     \prod_{l=1}^{2019} f_l(c) < \frac{n^{2020} + n^{2019}}{c} \leq \frac{n^{2020} + n^{2019}}{n+1}
     \]
   - For some \( i \in \{1, 2, \ldots, 2019\} \), we must have \( f_i(c) < n \). Let \( q \) be the smallest such \( i \). Then \( f_q(c) = a < n \).

5. **Rewriting the Product:**
   - We can rewrite:
     \[
     \prod_{l=1}^{2019} f_l(c) = \left( \prod_{l=1}^{q-1} f_l(c) \right) \cdot a^{2020-q}
     \]
   - Given the inequality:
     \[
     \left( \prod_{l=1}^{q-1} f_l(c) \right) \cdot a^{2020-q} < n^{2019}
     \]

6. **Main Inequality for \( n = c \):**
   - The main inequality must hold for \( n = c \):
     \[
     (c-1)^{2020} < \prod_{l=1}^{2020} f_l(c) < c^{2020} + c^{2019}
     \]
   - Rewriting:
     \[
     (c-1)^{2020} < \left( \prod_{l=1}^{q-1} f_l(c) \right) \cdot a^{2021-q} < c^{2020} + c^{2019}
     \]

7. **Combining Inequalities:**
   - Combining the inequalities:
     \[
     \frac{(c-1)^{2020}}{a^{2021-q}} < \left( \prod_{l=1}^{q-1} f_l(c) \right) < \frac{n^{2019}}{a^{2020-q}}
     \]
   - This implies:
     \[
     (c-1)^{2020} < n^{2019} \cdot a < n^{2020}
     \]
   - Since \( a < n \), we have:
     \[
     (c-1)^{2020} < n^{2020} \Rightarrow c-1 < n \Rightarrow c < n+1
     \]
   - This contradicts \( c \geq n+1 \).

8. **Conclusion:**
   - Since both cases lead to contradictions, such \( n \) does not exist. Therefore, \( f(n) = n \) for all \( n \in \mathbb{Z^+} \).

\(\blacksquare\)

The final answer is \( \boxed{ f(n) = n } \) for all \( n \in \mathbb{Z^+} \).