lim * a \ u.