獅子山知多少? ──名稱由來和文獻記載