Reachable State in Discrete Time