این پایان نامه بر آن است یک کران بالا برای 2^(?_? ) بیابد.برای نیل به مقصود،این پایان نامه در سه فصل و تنظیم گردیده است. در فصل اول،ابتدا مقدمات نظریه مجموعه ها، تعاریف اولیه و قضایای مقدماتی ،و در عین حال اساسی نظریه مجموعه ها،به همراه زبان نظریه مجموعه ها،به طود کامل و تا جای امکان ، به زبان ساده و گویا معرفی و بیان شده است. در فصل دوم به بررسی روابط اولیه حساب اعداد اصلی می پردازیم.هدف نهایی در این فصل،بیان و اثبات دو قضیه سیلور و گالوین-هاینال است.این دو قضیه از نیازهای اصلی برای اثبات قضیه شلا روی 2^(?_? ) می باشد.در این فصل،برای اثبات این دو قضیه،به تعاریف و لم های دیگری نیاز است که قبل از اثبات این دو قضیه،توضیح و اثبات آن ها آورده شده است. سر انجام در فصل سوم،قضیه شلا ثابت می شوداین قضیه اثبات می کندکه اگر ?_? یک عدد اصلی قویا حدی باشد،آن گاه 2^(?_? )<?_?.برای این منظور ابتدا نشان می دهیم 2^(?_? )=maxcof?_(n=0)^???_n و در پایان ثابت می کنیمmaxcof?_(n=0)^???_n <?_(?_4 ).