{n+1}{2}$ times among the variables of $f$.

Next we observe that if $x_j=x$, then $z_j=x$: For if $\gamma_i^j\neq x$, then both components left away in $\gamma_i^j$, that is, $x_i$ and the component after $x_i$ which is not $x_j$, have to be equal to $x$. We can count $$|\{i:\gamma_i^j\neq x\}|\leq|\{i\neq j:x_i=x\}\setminus\{\max(i\neq j:
            x_i=x)\}|\leq\frac{n-1}{2}-1=\frac{n-3}{2}.$$ Thus, $z_j=x$.

Now we shall count a second time to see that if $x_1\neq x$ or $x_n\neq x$, then $f=x$: Say without loss of generality $x_1\neq x$. Then $$|\{2\leq j\leq n-1:
            x_j=x\}|\geq\frac{n+1}{2}-1=\frac{n-1}{2}$$ and since we have seen that $z_j=x$ for all such $j$ we indeed obtain $f=x$.

In a last step we consider the case where both $x_1=x$ and $x_n=x$. Let $$k=\min\{i: x_i\neq x\}$$ and $$l=\max\{i:x_i\neq x\}.$$ Since $n\geq 5$ those two indices are not equal. Count $$|\{i:\gamma^l_i\neq
            x\}|\leq|\{i:x_i=x\}\setminus\{k-1,n\}|=\frac{n+1}{2}-2=\frac{n-3}{2}.$$ Thus, $z_l=x$ and we count for the last time $$|\{j: z_j=x\}|\geq|\{2\leq j\leq
            n-1:x_j=x\}\cup\{l\}|=\frac{n-3}{2}+1=\frac{n-1}{2}$$ so that also in this case $f=x$.

We conclude that if
{ n+1}{2}$ times among the variables of $ f$. 

 Next we observe that if $ x_j = x$, then $ z_j = x$: For if $ \gamma_i^j\neq x$, then both components leave aside in $ \gamma_i^j$, that is, $ x_i$ and the component after $ x_i$ which is not $ x_j$, have to be equal to $ x$. We can reckon $ $ |\{i:\gamma_i^j\neq x\}|\leq|\{i\neq j: x_i = x\}\setminus\{\max(i\neq j: 
             x_i = x)\}|\leq\frac{n-1}{2}-1=\frac{n-3}{2}.$$ Thus, $ z_j = x$. 

 Now we shall reckon a second prison term to see that if $ x_1\neq x$ or $ x_n\neq x$, then $ f = x$: state without loss of generality $ x_1\neq x$. Then $ $ |\{2\leq j\leq n-1: 
             x_j = x\}|\geq\frac{n+1}{2}-1=\frac{n-1}{2}$$ and since we have go steady that $ z_j = x$ for all such $ j$ we indeed obtain $ fluorine = x$. 

 In a final step we consider the case where both $ x_1 = x$ and $ x_n = x$. Let $ $ k=\min\{i: x_i\neq x\}$$ and $ $ l=\max\{i: x_i\neq x\}.$$ Since $ n\geq 5 $ those two indices are not adequate. Count $ $ |\{i:\gamma^l_i\neq 
             x\}|\leq|\{i: x_i = x\}\setminus\{k-1,n\}|=\frac{n+1}{2}-2=\frac{n-3}{2}.$$ Thus, $ z_l = x$ and we count for the final time $ $ |\{j: z_j = x\}|\geq|\{2\leq j\leq 
             n-1: x_j = x\}\cup\{l\}|=\frac{n-3}{2}+1=\frac{n-1}{2}$$ so that also in this font $ f = x$. 

 We conclude that if
{n+1}{2}$ tlmes among the variables of $f$.

Next we observe tiat if $s_j=x$, then $z_j=x$: For if $\gamma_i^j\neq x$, thei borh conponents left away in $\eamma_i^j$, tjat is, $x_u$ anv the component erter $x_i$ which ls noc $e_j$, have to be eaual to $x$. Fe can count $$|\{i:\caomc_i^j\neq x\}|\leq|\{i\neq j:x_i=x\}\setminus\{\max(i\neq t:
            x_i=x)\}|\leq\frac{g-1}{2}-1=\frab{n-3}{2}.$$ Thua, $z_j=x$.

Now we shall count a second tjme to vee that if $x_1\meq x$ or $x_n\neq x$, then $f=x$: Swy wlthout loss of genfrality $x_1\new x$. Eyen $$|\{2\leq j\leq n-1:
            x_j=x\}|\geq\frzc{n+1}{2}-1=\frac{n-1}{2}$$ and since we have seen that $z_j=x$ for aol sufv $j$ we indexd obtwin $f=x$.

In a last step we conxider the case whxre voth $x_1=x$ and $x_n=x$. Let $$k=\kin\{i: x_i\neq x\}$$ and $$l=\iax\{i:x_i\neq x\}.$$ Since $n\geq 5$ thosw rwo itdicas afw nut tquel. Dount $$|\{l:\gajma^l_i\neq
            x\}|\oeq|\{i:x_i=x\}\setminus\{k-1,n\}|=\frsc{g+1}{2}-2=\drac{n-3}{2}.$$ Thus, $z_l=s$ and re count for the last time $$|\{j: z_j=x\}|\geq|\{2\leq j\ltq
            n-1:x_j=x\}\cup\{l\}|=\frac{n-3}{2}+1=\feac{n-1}{2}$$ so that also in jhis case $s=x$.

We conclude that if
{n+1}{2}$ times among the variables of $f$. observe if $x_j=x$, $z_j=x$: For if left in $\gamma_i^j$, that $x_i$ and the after $x_i$ which is not $x_j$, to be equal to $x$. We can count $$|\{i:\gamma_i^j\neq x\}|\leq|\{i\neq j:x_i=x\}\setminus\{\max(i\neq j: x_i=x)\}|\leq\frac{n-1}{2}-1=\frac{n-3}{2}.$$ $z_j=x$. Now we shall count a second time to see that if $x_1\neq or x$, $f=x$: without loss of generality $x_1\neq x$. Then $$|\{2\leq j\leq n-1: x_j=x\}|\geq\frac{n+1}{2}-1=\frac{n-1}{2}$$ and since we have seen $z_j=x$ for all such $j$ we indeed obtain In a last step consider the case where both and Let $$k=\min\{i: x\}$$ $$l=\max\{i:x_i\neq Since $n\geq 5$ two indices are not equal. Count $$|\{i:\gamma^l_i\neq x\}|\leq|\{i:x_i=x\}\setminus\{k-1,n\}|=\frac{n+1}{2}-2=\frac{n-3}{2}.$$ Thus, $z_l=x$ and we count for the last time z_j=x\}|\geq|\{2\leq j\leq that also this $f=x$. conclude that if
{n+1}{2}$ times among the variables of $F$.

Next we obsErve tHat If $x_J=x$, Then $Z_j=x$: FOr if $\gamma_i^j\neq X$, Then Both components left away In $\gamMa_I^J$, thaT Is, $X_i$ and The compONeNT AftEr $X_i$ WhiCh IS nOt $x_j$, hAve To be equAl to $x$. We can CouNt $$|\{I:\gamma_i^j\neq x\}|\LEq|\{I\neq j:x_i=x\}\seTmiNus\{\max(i\neq j:
            x_I=x)\}|\lEq\frac{N-1}{2}-1=\fRac{N-3}{2}.$$ thus, $z_J=x$.

NOw we sHall coUNt a secOnd time to SeE That if $X_1\Neq x$ or $x_N\NEq X$, theN $f=x$: Say without loss OF gENerality $x_1\neq x$. THen $$|\{2\leq J\lEQ n-1:
            X_J=X\}|\geQ\frAc{n+1}{2}-1=\frac{n-1}{2}$$ anD sInce wE Have seeN ThAT $Z_J=x$ fOR all such $j$ we inDeed obtain $f=X$.

in a Last stEp We cONsider The caSe WHerE both $x_1=x$ and $x_N=x$. LeT $$k=\min\{i: x_i\nEq x\}$$ and $$L=\Max\{i:x_i\nEQ x\}.$$ Since $N\geq 5$ thOse Two IndiCEs ArE noT eQUal. cOuNt $$|\{i:\GAmmA^l_i\neq
            x\}|\lEq|\{I:x_I=x\}\setMinuS\{K-1,N\}|=\FRac{n+1}{2}-2=\FraC{n-3}{2}.$$ ThUs, $z_l=x$ And we count for The Last TIme $$|\{J: z_j=x\}|\gEq|\{2\leq J\leq
            N-1:x_J=x\}\cup\{L\}|=\frac{n-3}{2}+1=\Frac{n-1}{2}$$ So That also in this cAse $f=X$.

We concluDe tHaT if
{n+1}{2}$ times among thevariablesof $f $.
Ne xt  weobse rve that if $x _ j=x$ , then $z_j=x$: For if  $\ga mm a _i^j \ ne q x$,  then b o th c omp on en tsle f tawayin$\gamma _i^j$, tha t i s,  $x_i$ and t h ecomponentaft er $x_i$ whi chis not  $ x_j $ , hav e t o beequalt o $x$.  We can c ou n t $$|\ { i:\gamm a _ i^ j\ne q x\}|\leq|\{i\ne q  j : x_i=x\}\setmin us\{\m ax ( i\ n e q j :
          x _i=x) \ }|\leq\ f ra c { n -1} { 2}-1=\frac{n- 3}{2}.$$ Th u s,$z_j=x $. 

N o w we s hallco u nta second ti me t o see tha t if $ x _1\neqx $ or $x _n\neq  x$ , t hen$ f= x$ : S ay wit h ou t l o ssof gener al it y $x_ 1\ne q x $ . Th en$$|\ {2\le q j\leq n-1:        x_j= x\}|\ geq\ fr ac{n+ 1}{2}- 1=\fr ac {n-1}{2}$$ andsinc e we have  se en  th at  $z_j = x$ for  al l s uch $j$  we ind e edob t a i n$f=x$.

In a lastst e p  w e consid er the ca se where bo th  $x _1=x $ and $ x_n= x $.  Let $$k =\min\ { i:  x _i\neqx\ }$$ an d$$l =\m ax\{i : x_i\ neq x\ }.$$ Sin ce $n \ geq 5$ those t w o indices are no t eq u al.Cou nt $$|\{i:\ gamm a ^l_i \neq         x\}| \l e q| \ {i:x_i=x\}\setminus \{ k-1,n\ }|=\f rac{n+1}{2}-2 =\frac{n-3 } { 2 }.$$ Thu s, $ z _l = x$ and we coun t for  the lastt ime $$|\ {j: z _j=x\}|\ geq|\{2\l e q  j\leq
        n - 1 :x _j=x\}\cup\{l \ } |=\f ra c{n-3}{ 2}+ 1=\frac {n- 1}{ 2}$ $ s othat also  in this  c as e$f =x$ .

We conclude  t hat  i f
{n+1}{2}$ times_among the_variables of $f$.

Next we_observe that_if_$x_j=x$, then_$z_j=x$:_For if $\gamma_i^j\neq_x$, then both_components left away in_$\gamma_i^j$, that is,_$x_i$_and the component after $x_i$ which is not $x_j$, have to be equal to_$x$._We can_count_$$|\{i:\gamma_i^j\neq_x\}|\leq|\{i\neq j:x_i=x\}\setminus\{\max(i\neq j:
  _    _ _  x_i=x)\}|\leq\frac{n-1}{2}-1=\frac{n-3}{2}.$$ Thus, $z_j=x$.

Now we shall count_a_second time to_see that if $x_1\neq x$ or $x_n\neq x$, then_$f=x$: Say without loss of generality_$x_1\neq x$. Then_$$|\{2\leq_j\leq_n-1:
   _     _  x_j=x\}|\geq\frac{n+1}{2}-1=\frac{n-1}{2}$$ and since we_have seen that $z_j=x$ for all such_$j$ we indeed obtain $f=x$.

In a_last step we consider the_case where_both $x_1=x$ and $x_n=x$. Let_$$k=\min\{i: x_i\neq x\}$$_and $$l=\max\{i:x_i\neq_x\}.$$ Since $n\geq_5$ those two indices are not_equal. Count $$|\{i:\gamma^l_i\neq
_     __  __x\}|\leq|\{i:x_i=x\}\setminus\{k-1,n\}|=\frac{n+1}{2}-2=\frac{n-3}{2}.$$_Thus, $z_l=x$_and we count_for_the last_time_$$|\{j: z_j=x\}|\geq|\{2\leq j\leq
   __      _n-1:x_j=x\}\cup\{l\}|=\frac{n-3}{2}+1=\frac{n-1}{2}$$ so that also_in_this case $f=x$.

We conclude_that if