폴리하모닉 연산자를 위한 하디-렐리히 불평등 | Synapse