18/06/08 15:41:39.47 9F3pIZPF.net
>>578の定理めっちゃ面白いのにネットに証明転がっってないのは残念。
自分で示せそうにないし。
なんかMinkowskiの不等式なるものを使うっぽいけどそれ自体も見つからんし。
18/06/08 15:41:39.47 9F3pIZPF.net
>>578の定理めっちゃ面白いのにネットに証明転がっってないのは残念。
自分で示せそうにないし。
なんかMinkowskiの不等式なるものを使うっぽいけどそれ自体も見つからんし。
18/06/08 15:41:39.47 9F3pIZPF.net
>>578の定理めっちゃ面白いのにネットに証明転がっってないのは残念。
自分で示せそうにないし。
なんかMinkowskiの不等式なるものを使うっぽいけどそれ自体も見つからんし。