Because every finite group is a finite set, every chain of proper subgroups of a finite group has a maximal element and thus every finite group has a maximal subgroup. The same applies to maximal normal subgroups.
JOSSICA - jossica.comJOSSICA - jossica.com - The Journal of the Open Source Strategic Intelligence and Counterintelligence Analysis - The News And Times