Alternator pulley larger size?

Do the math; 8 inch pulley on crank, 2.5 on alternator ;7000 crank rpm is 22400 on the alt. But only 17200 on the 3.5.