3 ms·

Why isn't your inductive proof an unnecessary detour?