Page "Exponential function#Formal definition" not found :(