We argue by induction on n. If n=1, then S1β contains only the identity permutation, and the conclusion holds with N=0.
Assume the statement proved for nβ1, and let ΟβSnβ. Let m=Ο(n). If m<n, compose Ο on the left with the adjacent transpositions
Οmβ,Οm+1β,β¦,Οnβ1β.
The effect is to move the value m step by step to the last position. Thus the permutation
Ο=Οnβ1βββ―βΟmββΟ
satisfies Ο(n)=n.
Now regard Ο as a permutation of {1,β¦,nβ1}. By the induction hypothesis, there exist indices r1β,β¦,rNββ{1,β¦,nβ2} such that
Ο=Οr1ββββ―βΟrNββ
on {1,β¦,nβ1}, hence also as permutations in Snβ. Therefore
Ο=ΟmββΟm+1βββ―βΟnβ1ββΟr1ββββ―βΟrNββ.
This expresses Ο as a product of adjacent transpositions. The same formula also covers the case m=n, where the initial string of adjacent transpositions is empty. This completes the induction.