higher bound for sin
is ___