no goals
⊢ π < 3.141593
pi_upper_bound
    [27720 / 19601, 56935 / 30813, 49359 / 25163, 258754 / 130003, 113599 / 56868,
      1101994 / 551163, 8671537 / 4336095, 3877807 / 1938940, 52483813 / 26242030,
      56946167 / 28473117, 23798415 / 11899211]