@Holo I didn't check in detail but generally a proof-verification is not a dupe of the question asking for a proof, except maybe if the answer there really matches the given proof. You could leave a comment though pointing out the related question. If OP think it answers their problem they can still induce closure;
I quite like Tobias Kildetoft's suggestion - after the OP already has sufficient feedback on their own solution, it is reasonable to close as a duplicate (this would help redirect others searching for the question to a post which is not solution verification).
Although I cannot claim that there is really a consensus - the answer I've mentioned is at score +6.
I see that I have mentioned this specific discussion in this room a few times.
$$m=\sqrt{\pi} (\frac{n}{e})^n \sqrt[6]{8n^3+4n^2+n+\frac{1}{30}-\frac{1}{\frac{240n}{11}+\frac{9480}{847}+\frac{919466}{65219n}+\frac{T1}{n^2}+\frac{T2}{n^3}}}$$
WANT TO FINd ACCURACY OF approximation so
want to find the parameter T1 ,T2?
@rschwieb thanks you for the input, for the time being I said in the comments that my post exists, I will wait a bit to see his/her respond but I am inclined more to your PoV. Also voted to close the question you sent
@amWhy @MichaelGreinecker: This is not only not addressing the question but also just wrong or misleading and should be deleted to avoid giving people the wrong ideas about strong induction. Thanks!