Log7 (x−1)≤ log7 2+log7 3