User blog comment:Wythagoras/Graphs/@comment-1605058-20140913123957/@comment-10429372-20140914062346

I think your method is correct, mine has flaws.

I also think that SSCG(floor(3.5n+4.5)) is the best lower bound we can proof.