higher bound for sin
is at on ___