>>627

>>620のタイプの例外ではない
3γ/2＋7e/2 と π^2 の手計算による大小関係の比較などのような種類の
2つの実数の手計算による大小関係の比較のことを指している