iOS 17.7.1からiOS18.1に変更。
空き容量10GBくらいだと空きが足りないと怒られたので、いくつかデータを消して空きを12GBくらいにしたらインストールできた。
変更直後の空き容量を見ると、変更前から0.5GB減っていた。