higher bound for sin
at ___