higher bound for sin
at an ___