Text this: A short proof of the best possibility for the grand Furuta inequality