There might be something you need to add to your puzle statement. Because we have infinite primes, 2,3,5,7,11,...For every n of form prime-1 = 1,2,4,6,10, ..., Alice takes all of the stones on her first turn itself (because they are prime -1) and wins.