<PRIVATE

:: (euler073) ( limit lo hi -- )
    [let | m [ lo hi mediant ] |
        m denominator limit <= [
            m ,
            limit lo m (euler073)
            limit m hi (euler073)
        ] when
    ] ;

PRIVATE>

: euler073 ( -- answer )
    [ 10000 1/3 1/2 (euler073) ] { } make length ;