Preheat the oven and season the pork

• Preheat the oven to 200 °C.
• Pat the pork tenderloin dry and season it with salt and pepper.

Sear the pork tenderloin

• Heat the olive oil in a frying pan over high heat.
• Sear the pork tenderloin on all sides until nicely browned.

Roast the pork in the oven

• Transfer the seared tenderloin to a baking dish.
• Roast until cooked through, then let it rest before slicing.

Warm and enrich the mashed potatoes

• Heat the refrigerated mashed potatoes in a saucepan over low heat.
• Stir in the butter and milk until smooth and creamy.

Cook the green beans

• Steam or boil the green beans until tender-crisp.
• Season lightly with salt.

Serve

• Slice the rested pork tenderloin.
• Plate with the mashed potatoes and green beans.