integrate (5^-x) from 0 to inf