La función arcocotangente se define: