Use the permutation 9*8*7*6*5*4*3*2*1. Since there are 9 possible players for the first position, 8 for the 2nd (1 is taken off), 7 for the 3rd, etc. So you would multiply these numbers together. So there are 362,880 different possible batting orders.
