[seqfan] The Sims Conjecture

[David Harden]

The
Sims Conjecture, as it was known before its proof using the
Classification of Finite Simple Groups, says that there is a function f
from the positive integers to the positive integers such that if a
finite primitive permutation group has a point stabilizer H with a
suborbit of size r, then |H| <= f(r). Does anyone know the proof of
this theorem well enough to, if it is reasonable enough to do so,
tabulate values of f beyond f(1)=1 and f(2)=2?

---- David Harden