exp est continue et dérivable sur et pour .
exp est une bijection strictement croissante de sur .
Pour tous réels et :