higher bound for sin
is at ion ___