Path P6P_6P6 edge-inducibility conjecture
Path P6P_6P6 edge-inducibility conjecture. The lower bound is exact: