higher bound for sin
is at ___