let amc12b-2002-p4 = `!n:num.
    (n > &0) /\
    (?p. (&1 / &2 + &1 / &3 + &1 / &7 + &1 / &n) = &p)
==>
    (n = 42)
`;;