Rigorous bounds of Stokes constants for some nonlinear ODEs at rank one irregular singularities · wovepaper