higher bound for sin
at ion ton ___