Text this: An interval analytic method in constructive existence theorems for initial value problems