Fix $m.$ For each $n$ consider the the question: among all the conjugacy classes for permutations in $S_n$ with exactly $m+1$ cycles, which has the largest size? I will write $\prod_{i \geq 1}i^{a_i}$ to describe a partition with $a_i$ cycles of length $i.$ Below is some data. It is the result of rather unsophisticated exhaustive calculation. It strongly suggests the following unsurprising result: > There is a $k=k(m)$ integers $a_1 \geq a_2 \geq \cdots \geq a_k=1$ and $t=t(m)=\sum_1^ka_kk$ such that, for $n$ large enough relative to $m,$ the unique maximum occurs for type $1^{a_1}2^{a_2}\cdots k^{a_k}(n-t)$ The particular counts do not seem to support the conjecture from the question. - For $m=1$ the maximum occurs for $1\ (n-1)$ - For $m=2$ and $n \gt 5$ the maximum occurs for $1\ 2\ (n-3)$ - For $m=3$ and $n \gt 10$ the maximum occurs for $1^2\ 2\ (n-4)$ - For $m=4$ and $n \gt 10$ the maximum occurs for $1^2\ 2\ \ 3 (n-7)$ - For $m=5$ and $n \gt 20$ the maximum occurs for $1^3\ 2\ 3\ (n-8)$ - For $m=6$ and $n \gt 17$ the maximum occurs for $1^3\ 2\ 3\ 4\ (n-12)$ **except that** - for $n=22$ there is a tie between $1^3\ 2\ 3\ 4\ (10)$ and $1^2\ 2\ 3\ 4\ 5\ 6$ - For $m=7$ and $n \gt 29$ the maximum occurs for $1^3\ 2^2\ 3\ 4\ (n-14)$ This might allow a more refined conjecture. Certainly data for larger $m$ would be suggestive. That would justify taking the time to do design a more intelligent search. Here are more detailed results on $m=7$ to show exactly what I know for sure: For $30 \leq n \leq 60$ the maximum occurs only for $1^3\ 2^2\ 3\ 4\ (n-14).$ Presumably the same is true for all $30 \leq n.$ It is also true for $n=19,20,21,22. $ the other cases are: - $1^8$ - $1^72$ - $1^62^2$ - $1^62\,3$ - $1^52^23$ - $1^42^33$ - $1^5\,2\,3\,4$ - $1^42^23\,4$ - $1^42^23\,5$ - For $n=17$ a tie between $1^42^23\,6$ and $1^32^23^24$ - $1^4\,2\,3\,4\,5$ for $n=18.$ - $1^32\,3\,4\,5\,(n-17)$ for $23 \leq n \leq 28$ - for $n=29$ a tie between $1^3\,2\,3\,4\,5\,12$ and $1^32^23\,4\,15$