lim (tg(pi x/4))^(tg(pi x/2)) as 1