I'm a graduate student, dealing with group-theory.
In my current research, I used the bound "Alexander Gruber" wrote about in this post: See Here (Actually, I have just found out that the bound is known and already mentioned online).
I was able to give a detailed proof for this claim myself of course , but since it seems like this bound is well known, I want to add a reference .
So... does anyone know about a reference for the bound Alexander Gruber gives in the post above? I want to add it to the Bibliography section.
Thanks for your help!