High dose of dexmedetomidine was useful for general anesthesia and post‐operative analgesia in a patient with postpolio syndrome