The docs state that "Rationalize[x,dx] yields the rational number with smallest denominator that lies within dx of x." However, testing this out it appears to be false.
22 / 7
The problem is that
16 / 5 is also within
Pi and has a smaller denominator.
N[16 / 5 - Pi]
How does Rationalize actually work?