min{{x},{1-x}}

Với mỗi số thực x, định nghĩa <x> = min{{x},{1-x}}. Chứng minh rằng với mỗi số vô tỷ a ,và với mỗi số thực dương b, tồn tại số nguyên dương n để .