Tập nghiệm của bất phương trình log x≥ 1 là