Arduino Maximum Stepper Motor Pulse Speed

Hi, Any idea on the maximum stepper motor pulse output speed for built in stepper library ? I write my own stepper motor control (pulse + direction) which capable to run concurrent with serial port listening, but the highest pulse speed that I manage to get is just 2.5kHz.