Text this: An application for dynamic programming via fixed point theorem using rational type