integrate arctgx from 1 to sqrt3