$Assumptions = Element[_, Reals] && {_ ∈ Reals} && {_} > 0;

Minimize[{Sin[x], Sin[x] >= 0.5}, x]

Plot[Sin[x], {x, 0, 2 Pi}, GridLines -> {{0.5236}, {0.5}}]