Leading term at infinity of steady Navier‐Stokes flow around a rotating obstacle