limit as x -> 0 of (cos x)^(1/x) . (Resp.: 1.)