Bounds in the theory of polynomial rings over fields. A nonstandard approach