Done correctly -> yes.
In particular, with inequalities.. they usually want you to prove that
LHS < RHS
where LHS and RHS depends on some parameter(s) say x.
so the statement they want you to prove is
for all x, LHS(x) < RHS(x)
to prove it by contradiction, you would first assume that...