higher bound for sin
at an on ___