> PreviousPrime[n] was a Mathematica add-on once upon a time. It was never built-in ... As I just learned (thanks, Bob), it was implemented as NextPrime[n, -1].