Sizes of Game Trees