仮にcollatz_max(n)がn^2に漸近するとして
なぜcollatz_max(n)-n=n^2-nがnに一次比例になるのか理解しがたい