 above).

Let us prove that if $X^{**}$ has the metric approximation property then $D((X^{**},k_1,\cdots,k_n)\geq D(X,k_1,\cdots,k_n)$. Given $\varepsilon >0$, let $\{P_j\}_{j=1}^n$ be a set of polynomials on $X^{**}$ with $deg(P_j)=k_j$ such that $$D(X^{**},k_1,\cdots,k_n)\left \Vert \prod_{j=1}^{n} P_{j} \right \Vert \leq (1+\varepsilon)\prod_{j=1}^{n} \left \Vert P_{j} \right \Vert.\nonumber$$

Analogous to the proof of Theorem \[main thm\], since $X^{**}$ has the metric approximation, we can construct finite type polynomials $Q_1,\cdots,Q_n$ on $X^{**}$ with $deg(Q_j)=k_j$, $\Vert Q_j \Vert_K \geq \Vert P_j \Vert (1-\varepsilon)^2$ for some finite set $K\subseteq B_{X^{**}}$ and that $$D(X^{**},k_1,\cdots,k_n)\left \Vert \prod_{j=1}^{n} Q_{j} \right \Vert < (1+\varepsilon)\prod_{j=1}^{n} \left \Vert P_{j} \right  \Vert. \nonumber$$

Suppose that $Q_j=\sum_{t=1}^{m_j}(\psi_{j,t})^{r_{j,t}}$ and consider the spaces $N=\rm{span} \{K\}$ and $M=\rm{span} \{\psi_{j,t} \}$. By the principle of local reflexivity (see [@D]), applied to $X^*$ (thinking $N$ as a subspaces of $(X^*)^*$ and $M$ as a subspaces of $(X^*)^{**}$), there is an $(1+\varepsilon)-$isomorphism $T:M\rightarrow X^*$ such that $$JT(\psi)(x)=\psi(x) \mbox{ } \forall x\in N, \mbox{ } \forall \psi\in M\cap X^*=M,$$ where $J:X^*\rightarrow X^{
above). 

 Let us prove that if $ X^{**}$ has the metric estimate place then $ D((X^{**},k_1,\cdots, k_n)\geq D(X, k_1,\cdots, k_n)$. feed $ \varepsilon > 0 $, let $ \{P_j\}_{j=1}^n$ be a hardening of polynomial on $ X^{**}$ with $ deg(P_j)=k_j$ such that $ $ D(X^{**},k_1,\cdots, k_n)\left \Vert \prod_{j=1}^{n } P_{j } \right \Vert \leq (1+\varepsilon)\prod_{j=1}^{n } \left \Vert P_{j } \right \Vert.\nonumber$$ 

 Analogous to the proof of Theorem \[main thm\ ], since $ X^{**}$ has the metric estimate, we can reconstruct finite type polynomial $ Q_1,\cdots, Q_n$ on $ X^{**}$ with $ deg(Q_j)=k_j$, $ \Vert Q_j \Vert_K \geq \Vert P_j \Vert (1-\varepsilon)^2 $ for some finite rig $ K\subseteq B_{X^{**}}$ and that $ $ D(X^{**},k_1,\cdots, k_n)\left \Vert \prod_{j=1}^{n } Q_{j } \right \Vert < (1+\varepsilon)\prod_{j=1}^{n } \left \Vert P_{j } \right   \Vert. \nonumber$$ 

 Suppose that $ Q_j=\sum_{t=1}^{m_j}(\psi_{j, t})^{r_{j, t}}$ and regard the spaces $ N=\rm{span } \{K\}$ and $ M=\rm{span } \{\psi_{j, t } \}$. By the principle of local reflexivity (visualize [ @D ]), applied to $ X^*$ (thinking $ N$ as a subspaces of $ (X^*)^*$ and $ M$ as a subspaces of $ (X^*)^{**}$), there is an $ (1+\varepsilon)-$isomorphism $ T: M\rightarrow X^*$ such that $ $ JT(\psi)(x)=\psi(x) \mbox { } \forall x\in N, \mbox { } \forall \psi\in M\cap X^*=M,$$ where $ J: X^*\rightarrow X^ {
 ablve).

Let us prove that if $W^{**}$ has the metric approxmmation properth then $D((X^{**},k_1,\cdots,k_n)\geq D(X,k_1,\cdotd,k_b)$. Givtu $\varepsilon >0$, let $\{P_j\}_{g=1}^n$ be a svt of poltnommals on $X^{**}$ with $dxf(P_j)=k_j$ smeh thzb $$D(X^{**},k_1,\edits,k_n)\left \Vert \prod_{j=1}^{n} P_{j} \right \Vert \lex (1+\xaxepsilon)\prod_{j=1}^{n} \left \Vert P_{j} \right \Vewt.\nonumneg$$

Analogous to jhe pgojf or Theorem \[main thm\], since $X^{**}$ has the metric approximatiom, we can construct finite hype polynomials $Q_1,\cdotd,Q_n$ on $X^{**}$ wijg $dqt(Q_j)=k_j$, $\Vert Q_g \Vert_K \geq \Vert P_j \Vett (1-\varepsilon)^2$ for some finite seg $K\suyseteq B_{X^{**}}$ abd thwj $$D(X^{**},k_1,\cdots,k_n)\oeft \Nert \prod_{j=1}^{n} Q_{m} \right \Vert < (1+\farepsilon)\prod_{m=1}^{n} \leht \Vwrt P_{j} \right  \Vert. \noiumber$$

Suppose that $Q_t=\sum_{t=1}^{m_j}(\psh_{j,c})^{r_{j,t}}$ and consider the spaces $N=\rm{vpan} \{J\}$ avd $J=\rk{slan} \{\psl_{j,t} \}$. By the pdinciple of local reflexivity (xeq [@D]), applied to $X^*$ (thigkyng $N$ as a subspaces of $(X^*)^*$ and $M$ as a sutspzces of $(X^*)^{**}$), there is an $(1+\vqrepsilon)-$isomorphism $J:M\rightarrjw X^*$ such that $$JT(\psi)(x)=\psi(x) \mbox{ } \forall x\in N, \mbox{ } \forelu \pwi\ln M\zqp X^*=M,$$ where $J:X^*\rightarrow X^{
above). Let us prove that if $X^{**}$ metric property then D(X,k_1,\cdots,k_n)$. Given $\varepsilon set polynomials on $X^{**}$ $deg(P_j)=k_j$ such that \Vert \prod_{j=1}^{n} P_{j} \right \Vert \leq \left \Vert P_{j} \right \Vert.\nonumber$$ Analogous to the proof of Theorem \[main thm\], $X^{**}$ has the metric approximation, we can construct finite type polynomials $Q_1,\cdots,Q_n$ on with $\Vert \Vert_K \Vert P_j \Vert (1-\varepsilon)^2$ for some finite set $K\subseteq B_{X^{**}}$ and that $$D(X^{**},k_1,\cdots,k_n)\left \Vert \prod_{j=1}^{n} Q_{j} \Vert < (1+\varepsilon)\prod_{j=1}^{n} \left \Vert P_{j} \right \Vert. Suppose that $Q_j=\sum_{t=1}^{m_j}(\psi_{j,t})^{r_{j,t}}$ and the spaces $N=\rm{span} \{K\}$ and \{\psi_{j,t} By the of reflexivity [@D]), applied to (thinking $N$ as a subspaces of $(X^*)^*$ and $M$ as a subspaces of $(X^*)^{**}$), there is an $T:M\rightarrow X^*$ $$JT(\psi)(x)=\psi(x) \mbox{ \forall N, } \forall \psi\in where $J:X^*\rightarrow X^{
 above).

Let us prove that if $X^{**}$ has The metric aPproxImaTioN pRopeRty tHen $D((X^{**},k_1,\cdots,k_n)\gEQ D(X,k_1,\Cdots,k_n)$. Given $\varepsilon >0$, Let $\{P_j\}_{J=1}^n$ BE a seT Of PolynOmials oN $x^{**}$ wITH $deG(P_J)=k_J$ suCh THaT $$D(X^{**},k_1,\cDotS,k_n)\left \vert \prod_{j=1}^{n} p_{j} \rIgHt \Vert \leq (1+\varEPsIlon)\prod_{j=1}^{n} \LefT \Vert P_{j} \right \verT.\nonumBeR$$

AnALogouS to The prOof of THEorem \[mAin thm\], sinCe $x^{**}$ Has the MEtric apPROxImatIon, we can construct FInITe type polynomiAls $Q_1,\cdOtS,q_n$ ON $x^{**}$ wiTh $dEg(Q_j)=k_j$, $\Vert q_j \vert_K \GEq \Vert P_J \veRT (1-\VArePSilon)^2$ for some fInite set $K\suBSetEq B_{X^{**}}$ anD tHat $$d(x^{**},k_1,\cdotS,k_n)\leFt \vErt \Prod_{j=1}^{n} Q_{j} \rigHt \VeRt < (1+\varepsiLon)\proD_{J=1}^{n} \left \VERt P_{j} \rigHt  \Vert. \NonUmbEr$$

SuPPoSe ThaT $Q_J=\Sum_{T=1}^{M_j}(\Psi_{J,T})^{r_{j,T}}$ and consIdEr The spAces $n=\RM{SPan} \{K\}$ And $m=\rm{sPan} \{\psI_{j,t} \}$. By the princIplE of lOCal RefleXivitY (see [@d]), aPplieD to $X^*$ (thInkinG $N$ As a subspaces of $(X^*)^*$ And $M$ As a subspaCes Of $(x^*)^{**}$), thErE is an $(1+\VArepsiLon)-$IsoMorphisM $T:M\righTArrOw x^*$ SUCh That $$JT(\psi)(x)=\psi(x) \mbox{ } \FoRALl X\in N, \mbox{ } \Forall \PSi\In m\Cap X^*=M,$$ wheRe $j:X^*\rIghtARRow X^{
 above).

Let us prove tha t if $X^{* *}$ h asthe  m etri c ap proximation pr o pert y then $D((X^{**},k_1, \cdot s, k _n)\ g eq  D(X, k_1,\cd o ts , k _n) $.  G ive n$ \v areps ilo n >0$,let $\{P_j \}_ {j =1}^n$ be as et  of polyno mia ls on $X^{** }$with $ de g(P _ j)=k_ j$suchthat $ $ D(X^{* *},k_1,\c do t s,k_n) \ left \V e r t\pro d_{j=1}^{n} P_{j} \r i ght \Vert \leq  (1+\v ar e ps i l on) \pr od_{j=1}^{ n}  \lef t  \VertP _{ j } \ri g ht \Vert.\non umber$$

An a log ous to  t hep roof o f The or e m \ [main thm\] , si nce $X^{* *}$ ha s  the me t ric app roxima tio n,we c a nco nst ru c t f i ni tet ype  polynom ia ls  $Q_1 ,\cd o t s , Q_n$  on  $X^ {**}$  with $deg(Q_ j)= k_j$ ,  $\ VertQ_j \ Vert _K  \geq  \Vert  P_j\V ert (1-\varepsi lon) ^2$ for s ome  f ini te  set$ K\subs ete q B _{X^{** }}$ and tha t$ $ D (X ^{**},k_1,\cdots,k _n ) \ le ft \Vert  \prod _ {j =1 } ^{n} Q_{ j}  \r ight \ Vert< (1 + \v arepsilo n)\pro d _{ j= 1}^{n}\l eft \V er t P _{j } \ri g ht \Vert.  \nonumb er$$Suppose that $ Q _j=\sum_{t=1} ^ {m _ j }( \ psi_ {j, t})^{r_{j,t }}$a nd c onsi d er  th e  spac es $N =\ r m{ s pan} \{K\}$ and $M= \r m{span } \{\ psi_{j,t} \}$ . By the p r i n ciple of  loc a lr eflexivity (se e [@D ]), applie d  to $X^* $ (th inking $ N$ as a s u b spaces o f $ (X^ *)^ *$a n d$M$ as a subs p a cesof  $(X^*) ^{* *}$), t her e i s a n $ (1 +\varepsi lon)-$is om or ph is m $ T:M\r i ghtarrow  X ^*$  s uch  that $$JT(\ psi)( x)=\ ps i( x ) \ mbox{ } \f o r allx\ in  N,\mb ox { } \ fora l l \ psi\inM\cap X^* =M, $ $ wh er e$J:X^*\ rightarrow X^ {
 above).

Let_us prove_that if $X^{**}$ has_the metric_approximation_property then_$D((X^{**},k_1,\cdots,k_n)\geq_D(X,k_1,\cdots,k_n)$. Given $\varepsilon_>0$, let $\{P_j\}_{j=1}^n$_be a set of_polynomials on $X^{**}$_with_$deg(P_j)=k_j$ such that $$D(X^{**},k_1,\cdots,k_n)\left \Vert \prod_{j=1}^{n} P_{j} \right \Vert \leq (1+\varepsilon)\prod_{j=1}^{n} \left \Vert P_{j}_\right_\Vert.\nonumber$$

Analogous to_the_proof_of Theorem \[main thm\], since_$X^{**}$ has the metric approximation,_we can_construct finite type polynomials $Q_1,\cdots,Q_n$ on $X^{**}$ with_$deg(Q_j)=k_j$,_$\Vert Q_j \Vert_K_\geq \Vert P_j \Vert (1-\varepsilon)^2$ for some finite set_$K\subseteq B_{X^{**}}$ and that $$D(X^{**},k_1,\cdots,k_n)\left \Vert_\prod_{j=1}^{n} Q_{j} \right_\Vert_<_(1+\varepsilon)\prod_{j=1}^{n} \left \Vert P_{j}_\right  \Vert. \nonumber$$

Suppose that $Q_j=\sum_{t=1}^{m_j}(\psi_{j,t})^{r_{j,t}}$_and consider the spaces $N=\rm{span} \{K\}$_and $M=\rm{span} \{\psi_{j,t} \}$. By the principle_of local reflexivity (see [@D]), applied_to $X^*$ (thinking $N$ as_a subspaces_of $(X^*)^*$ and $M$ as_a subspaces of_$(X^*)^{**}$), there_is an $(1+\varepsilon)-$isomorphism_$T:M\rightarrow X^*$ such that $$JT(\psi)(x)=\psi(x) \mbox{_} \forall x\in_N, \mbox{ } \forall \psi\in M\cap_X^*=M,$$_where $J:X^*\rightarrow X^{