How do you solve #d - 3>= 0#?