所有大于3的实数解集 用描述法表示