Пусть S — это наименьшее множество рациональных чисел, содержащее число 0 и удовлетворяющее условию:
* Если числа p и q принадлежат S, и |p-q|<1, то число (p+q+1)/2 также принадлежит S.

Написать программу, которая принимает рациональное число и определяет, принадлежит ли оно множеству S.