limit x-> pi/2 floor((x-pi/2)/cosx))