TY - RPRT TI - The trivial lower bound for the girth of $S_n$ AU - Sean Eberhard PY - 2017 UR - https://arxiv.org/abs/1706.09972 ID - 1706.09972 ER -