Symbol: lim_max