Amazing, but... this is not an algorithm in O(n^2.25), rather it is a proof that such an algorithm exists, but the proof doesn't provide the algorithm, it is a non constructive proof.
Amazing, but... this is not an algorithm in O(n^2.25), rather it is a proof that such an algorithm exists, but the proof doesn't provide the algorithm, it is a non constructive proof.