log(x-4)≥cos (x)pi