Rotman's book An Introduction to the Theory of Groups (Fourth Edition) asks, on page 22, Exercise 2.8, to show that S(n)$S(n)$ cannot be embedded in A(n+1)$A(n+1)$, where S(n)$S(n)$ = the symmetric group on n$n$ elements, and A(n)$A(n)$ = the alternating group on n$n$ elements. I have a proof but it uses Bertrand's Postulate, which seems a bit much for page 22 of an introductory text. Does anyone have a more appropriate (i.e., easier) proof?
partial cleanup (should “S” and “A” be italicized for uniformity with comments and answers?), [permutation-groups]