J~ν(x)=2/(πx)cos(x14π)+O(x32),