Power Function is Monotone over Rationals