limit of cos(pi * x / 2) as x -> 1