The present invention relates to a novel pyrrolidine compound having melanocortin receptor agonist activity or a pharmaceutically acceptable salt thereof, and to pharmaceutical applications thereof. The present invention relates to a pyrrolidine derivative represented by formula [I], wherein ring A represents an optionally substituted aryl group or the like R 1 represents an optionally substituted alkyl group or the like R 2 represents a halogen atom or the like and R 3 is an alkyl group substituted with an optionally substituted aryl group or the like, and R 4 is a hydrogen atom or the like or R 3 and R 4 are terminally attached to each other, and together with the nitrogen atom to which they are attached, form an optionally substituted nitrogen-containing aliphatic heterocyclic ring that may partially contain a double bond or to a pharmaceutically acceptable salt thereof.