higher bound for sin
at ion is ___