Assignment:
Let G be a group of order n which acts nontrivially on a set of order k. If n>k!, show that G contains a proper normal subgroup. Show that if G contains k Sylow p-subgroups, with |G|>k!, then G is not simple.
Provide complete and step by step solution for the question and show calculations and use formulas.