$rx_4333 = /(?=\d{4}$)
   (?: 4     (?: 3     (?: 3     (?: 3
                                 |   [4-9]
                                 )
                       |   [4-9]
                       )
             |   [4-9]
             )
   |   [5-9]
   )
/x