K~ν(x)=(π/(2x))12-x(1+O(x-1)).