a=\sup a_n