How do you evaluate the definite integral int (1/x) dx from [1,2]?