log (x + 3) − log 4 ≥ log 16