No, Lotus Juice isn’t in the original Persona 5. However, he did make several songs for Persona 5 Royal that were all exclusive to that particular version of the much-beloved JRPG.