1 ¼ pound russet potatoes ¼ teaspoon salt ⅛ teaspoon ground black pepper 1 tablespoon olive oil 1 tablespoon butter paprika (optional)