Theorem 2.1. Sidorenko’s conjecture is true if $H$ is a path of length $3$.