17/08/25 17:27:20.09 oetrvUQn.net
>>677 (3) が成立つとする。
2/s + 1/3 ≧ 3/t,
または
t ≧ 9s/(s+6),
一方、9ss -（s+6)(5s-6）= 4(s-3)^2 ≧ 0 より
9s/(s+6）≧（5s-6)/s,
したがって
t ≧（5s-6)/s,
または
st + 6 ≧ 5s >>679（1)
それぢゃ、>>677（3）はどうするか？
17/08/25 17:27:20.09 oetrvUQn.net
>>677 (3) が成立つとする。
2/s + 1/3 ≧ 3/t,
または
t ≧ 9s/(s+6),
一方、9ss -（s+6)(5s-6）= 4(s-3)^2 ≧ 0 より
9s/(s+6）≧（5s-6)/s,
したがって
t ≧（5s-6)/s,
または
st + 6 ≧ 5s >>679（1)
それぢゃ、>>677（3）はどうするか？