n自然数としてnの素因子の個数は高々[logn/log2]個なのはなぜですか?[ ]はガウス記号