高木関数というのを初めて知った
すごいのな